(self)
| 1032 | self.undo.reset_undo() |
| 1033 | |
| 1034 | def short_title(self): |
| 1035 | filename = self.io.filename |
| 1036 | return os.path.basename(filename) if filename else "untitled" |
| 1037 | |
| 1038 | def long_title(self): |
| 1039 | return self.io.filename or "" |
no test coverage detected