(self, edit)
| 57 | return "break" |
| 58 | |
| 59 | def unregister_maybe_terminate(self, edit): |
| 60 | try: |
| 61 | key = self.inversedict[edit] |
| 62 | except KeyError: |
| 63 | print("Don't know this EditorWindow object. (close)") |
| 64 | return |
| 65 | if key: |
| 66 | del self.dict[key] |
| 67 | del self.inversedict[edit] |
| 68 | if not self.inversedict: |
| 69 | self.root.quit() |
| 70 | |
| 71 | def filename_changed_edit(self, edit): |
| 72 | edit.saved_change_hook() |