(self, offset)
| 46 | self.find_next(False) |
| 47 | |
| 48 | def set_highlight(self, offset): |
| 49 | if self.current_highlight is not None: |
| 50 | old = self.body[self.current_highlight] |
| 51 | self.body[self.current_highlight] = old.backup |
| 52 | if offset is None: |
| 53 | self.current_highlight = None |
| 54 | else: |
| 55 | self.body[offset] = Highlight(self.body[offset]) |
| 56 | self.current_highlight = offset |
| 57 | |
| 58 | def get_text(self, w): |
| 59 | if isinstance(w, urwid.Text): |