diff options
| author | Seth Hitefield <sdhitefield@gmail.com> | 2017-05-11 15:31:50 -0400 |
|---|---|---|
| committer | Johnathan Corgan <johnathan@corganlabs.com> | 2017-05-11 12:52:11 -0700 |
| commit | ef139ce3f10e181edfafafcc08ae26cec54221ed (patch) | |
| tree | 3401606c180e8a4431eb791d865eb4fb41fd2099 /grc/gui/Notebook.py | |
| parent | 69172b07723872df00ac1ab821acebd2b0a56e6a (diff) | |
grc: gtk3: Small fixes for PR 1299
Diffstat (limited to 'grc/gui/Notebook.py')
| -rw-r--r-- | grc/gui/Notebook.py | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/grc/gui/Notebook.py b/grc/gui/Notebook.py index ef08961036..21db913c0e 100644 --- a/grc/gui/Notebook.py +++ b/grc/gui/Notebook.py @@ -129,12 +129,19 @@ class Page(Gtk.HBox): self.scrolled_window = Gtk.ScrolledWindow() self.scrolled_window.set_size_request(MIN_WINDOW_WIDTH, MIN_WINDOW_HEIGHT) self.scrolled_window.set_policy(Gtk.PolicyType.ALWAYS, Gtk.PolicyType.ALWAYS) + self.scrolled_window.connect('key-press-event', self._handle_scroll_window_key_press) self.scrolled_window.add(self.drawing_area) self.pack_start(self.scrolled_window, True, True, 0) self.show_all() - + def _handle_scroll_window_key_press(self, widget, event): + is_ctrl_pg = ( + event.state & Gdk.ModifierType.CONTROL_MASK and + event.keyval in (Gdk.KEY_Page_Up, Gdk.KEY_Page_Down) + ) + if is_ctrl_pg: + return self.get_parent().event(event) def get_generator(self): """ |