Remove effect of doing match.
(self, event=None)
| 105 | self.set_timeout_none)() |
| 106 | |
| 107 | def restore_event(self, event=None): |
| 108 | "Remove effect of doing match." |
| 109 | self.text.tag_delete("paren") |
| 110 | self.deactivate_restore() |
| 111 | self.counter += 1 # disable the last timer, if there is one. |
| 112 | |
| 113 | def handle_restore_timer(self, timer_count): |
| 114 | if timer_count == self.counter: |