(self, text)
| 229 | ##sys.__stderr__.write("redo: %s\n" % self) |
| 230 | |
| 231 | def undo(self, text): |
| 232 | text.mark_set('insert', self.index1) |
| 233 | text.delete(self.index1, self.index2) |
| 234 | self.set_marks(text, self.marks_before) |
| 235 | text.see('insert') |
| 236 | ##sys.__stderr__.write("undo: %s\n" % self) |
| 237 | |
| 238 | def merge(self, cmd): |
| 239 | if self.__class__ is not cmd.__class__: |