(self, flag=999999999)
| 539 | self.changed = '' if self.hash == self.hash_buffer() else '*' |
| 540 | self.clear_mark() |
| 541 | def set_mark(self, flag=999999999): |
| 542 | if self.mark is None: |
| 543 | self.mark = (self.cur_line, self.col) |
| 544 | if self.mark_flag < flag: |
| 545 | self.mark_flag = flag |
| 546 | def check_mark(self): |
| 547 | if self.mark is not None: |
| 548 | self.mark_flag -= 1 |