(self, size, event, button, col, row, focus)
| 32 | super().__init__(widget, header=header) |
| 33 | |
| 34 | def mouse_event(self, size, event, button, col, row, focus): |
| 35 | if event == "mouse press" and button == 1 and not self.is_focused: |
| 36 | self.window.switch() |
| 37 | return super().mouse_event(size, event, button, col, row, focus) |
| 38 | |
| 39 | def keypress(self, size, key): |
| 40 | # Make sure that we don't propagate cursor events outside of the widget. |
nothing calls this directly
no test coverage detected