(self, text)
| 41 | return super().keypress(size, key) |
| 42 | |
| 43 | def set_search(self, text): |
| 44 | self.last_search = text |
| 45 | self.search_term = text or None |
| 46 | self.find_next(False) |
| 47 | |
| 48 | def set_highlight(self, offset): |
| 49 | if self.current_highlight is not None: |