Commit d3f014a5 by peastman

Merge pull request #70 from peastman/master

When loading a local file through GUI, record the source filename
parents 5faa2e4f ffa808a3
...@@ -54,6 +54,7 @@ def startPageCallback(parameters, handler): ...@@ -54,6 +54,7 @@ def startPageCallback(parameters, handler):
if 'type' in parameters: if 'type' in parameters:
if parameters.getfirst('type') == 'local': if parameters.getfirst('type') == 'local':
fixer = PDBFixer(pdbfile=parameters['pdbfile'].value.decode().splitlines()) fixer = PDBFixer(pdbfile=parameters['pdbfile'].value.decode().splitlines())
fixer.source = parameters['pdbfile'].filename
else: else:
id = parameters.getfirst('pdbid') id = parameters.getfirst('pdbid')
try: try:
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment