(self, size, key)
| 13 | super().__init__(contents) |
| 14 | |
| 15 | def keypress(self, size, key): |
| 16 | if key == "m_end": |
| 17 | self.set_focus(self.length - 1) |
| 18 | elif key == "m_start": |
| 19 | self.set_focus(0) |
| 20 | else: |
| 21 | return super().keypress(size, key) |
| 22 | |
| 23 | |
| 24 | class HelpView(tabs.Tabs, layoutwidget.LayoutWidget): |