(self, lnum, text, key, span = 1, chain=False)
| 502 | self.message = Editor.find_pattern + " not found (again)" |
| 503 | return None |
| 504 | def undo_add(self, lnum, text, key, span = 1, chain=False): |
| 505 | if (len(self.undo) == 0 or key == KEY_NONE or |
| 506 | self.undo[-1][3] != key or self.undo[-1][0] != lnum): |
| 507 | self.changed = '*' |
| 508 | if len(self.undo) >= self.undo_limit: |
| 509 | del self.undo[0] |
| 510 | self.undo.append([lnum, span, text, key, self.col, chain]) |
| 511 | self.redo = [] |
| 512 | def undo_redo(self, undo, redo): |
| 513 | chain = True |
| 514 | redo_start = len(redo) |
no outgoing calls
no test coverage detected