431 |
self.context.deleteText() |
self.context.deleteText() |
432 |
elif key == "Ctrl-S": |
elif key == "Ctrl-S": |
433 |
"""Save the structure.""" |
"""Save the structure.""" |
434 |
p("going to save"); |
p("going to save") |
435 |
m = ff.swamp.Graphs.toModel(fen.graph); |
m = ff.swamp.Graphs.toModel(fen.graph) |
436 |
m.write(java.io.FileWriter(FILE)); |
m.write(java.io.FileWriter(FILE)) |
437 |
elif key == "Ctrl-Q": |
elif key == "Ctrl-Q": |
438 |
"""Save the structure and quit.""" |
"""Save the structure and quit.""" |
439 |
p("going to save"); |
p("going to save") |
440 |
m = ff.swamp.Graphs.toModel(fen.graph); |
m = ff.swamp.Graphs.toModel(fen.graph) |
441 |
m.write(java.io.FileWriter(FILE)); |
m.write(java.io.FileWriter(FILE)) |
442 |
java.lang.System.exit(43) |
java.lang.System.exit(43) |
443 |
elif key == "Ctrl-R": |
elif key == "Ctrl-R": |
444 |
"""Reload scene.""" |
"""Reload scene.""" |