Enable the use of arrow keys in the page number entry - SL #3863
Signed-off-by: Gonzalo Odiard <gonzalo@laptop.org>
Gonzalo Odiard
11 years ago
990 | 990 | self._view.copy() |
991 | 991 | |
992 | 992 | def _key_press_event_cb(self, widget, event): |
993 | if self.activity_button.page.title.has_focus(): | |
993 | if self.activity_button.page.title.has_focus() or \ | |
994 | self._num_page_entry.has_focus(): | |
994 | 995 | return False |
995 | 996 | keyname = Gdk.keyval_name(event.keyval) |
996 | 997 | if keyname == 'c' and event.state & Gdk.ModifierType.CONTROL_MASK: |