diff options
| author | Reinier Heeres <rwh@rwh.(none)> | 2007-12-09 10:00:29 (GMT) |
|---|---|---|
| committer | Tomeu Vizoso <tomeu@tomeuvizoso.net> | 2007-12-15 18:36:16 (GMT) |
| commit | beb9776059a6adc201cced4d81b6e71d2a8cc378 (patch) | |
| tree | 29eebe74a9fa68679f75239dec2a91fd1a0c5e15 | |
| parent | eb05dc9e6d63afc3908753f41aedb6773a0a4ed0 (diff) | |
Allow use of gamekeys and home/end, #3960
| -rw-r--r-- | listview.py | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/listview.py b/listview.py index 5046b37..608ac76 100644 --- a/listview.py +++ b/listview.py @@ -210,15 +210,23 @@ class ListView(gtk.HBox): max_value = self._result_set.length - self._page_size if self._vadjustment.props.value < max_value: self._vadjustment.props.value += 1 - elif keyname == 'Page_Up': + elif keyname == 'Page_Up' or keyname == 'KP_Page_Up': new_position = max(0, self._vadjustment.props.value - self._page_size) if new_position != self._vadjustment.props.value: self._vadjustment.props.value = new_position - elif keyname == 'Page_Down': + elif keyname == 'Page_Down' or keyname == 'KP_Page_Down': new_position = min(self._result_set.length - self._page_size, self._vadjustment.props.value + self._page_size) if new_position != self._vadjustment.props.value: self._vadjustment.props.value = new_position + elif keyname == 'Home' or keyname == 'KP_Home': + new_position = 0 + if new_position != self._vadjustment.props.value: + self._vadjustment.props.value = new_position + elif keyname == 'End' or keyname == 'KP_End': + new_position = max(0, self._result_set.length - self._page_size) + if new_position != self._vadjustment.props.value: + self._vadjustment.props.value = new_position else: return False |