(self, event)
| 137 | self.check_saved() |
| 138 | |
| 139 | def undo_event(self, event): |
| 140 | if self.pointer == 0: |
| 141 | self.bell() |
| 142 | return "break" |
| 143 | cmd = self.undolist[self.pointer - 1] |
| 144 | cmd.undo(self.delegate) |
| 145 | self.pointer = self.pointer - 1 |
| 146 | self.can_merge = False |
| 147 | self.check_saved() |
| 148 | return "break" |
| 149 | |
| 150 | def redo_event(self, event): |
| 151 | if self.pointer >= len(self.undolist): |