525 |
elif key == "Ctrl-S": |
elif key == "Ctrl-S": |
526 |
"""Save the structure.""" |
"""Save the structure.""" |
527 |
p("going to save") |
p("going to save") |
528 |
ff.swamp.writer.write(fen.graph, open(FILE, 'w')) |
ff.swamp.writer.write(fen.graph, FILE) |
529 |
elif key == "Alt-Q": |
elif key == "Alt-Q": |
530 |
"""Quit without saving.""" |
"""Quit without saving.""" |
531 |
java.lang.System.exit(43) |
java.lang.System.exit(43) |
532 |
elif key == "Ctrl-Q": |
elif key == "Ctrl-Q": |
533 |
"""Save the structure and quit.""" |
"""Save the structure and quit.""" |
534 |
p("going to save") |
p("going to save") |
535 |
ff.swamp.writer.write(fen.graph, open(FILE, 'w')) |
ff.swamp.writer.write(fen.graph, FILE) |
536 |
elif key == "Return": |
elif key == "Return": |
537 |
"""Add a linebreak.""" |
"""Add a linebreak.""" |
538 |
self.context.insertText("\n") |
self.context.insertText("\n") |