From cf5b7350b5605a58aca5b0da843d77738d6dc9f8 Mon Sep 17 00:00:00 2001 From: Michael Webster Date: Thu, 17 Oct 2024 09:14:16 -0400 Subject: [PATCH] textsize plugin: Don't propagate any scroll-zoom events. - Improve event handler readability Fixes #659. --- plugins/textsize/textsize/documenthelper.py | 10 ++++------ 1 file changed, 4 insertions(+), 6 deletions(-) diff --git a/plugins/textsize/textsize/documenthelper.py b/plugins/textsize/textsize/documenthelper.py index 572115f3..5329c340 100644 --- a/plugins/textsize/textsize/documenthelper.py +++ b/plugins/textsize/textsize/documenthelper.py @@ -93,27 +93,25 @@ def on_scroll_event(self, view, event): state = event.state & Gtk.accelerator_get_default_mod_mask() if state != Gdk.ModifierType.CONTROL_MASK: - return False + return Gdk.EVENT_PROPAGATE if event.direction == Gdk.ScrollDirection.UP: self.larger_text() - return True elif event.direction == Gdk.ScrollDirection.DOWN: self.smaller_text() - return True elif event.direction == Gdk.ScrollDirection.SMOOTH: if event.delta_y > 0: self.smaller_text() elif event.delta_y < 0: self.larger_text() - return False + return Gdk.EVENT_STOP def on_button_press_event(self, view, event): state = event.state & Gtk.accelerator_get_default_mod_mask() if state == Gdk.ModifierType.CONTROL_MASK and event.button == 2: self.normal_size() - return True + return Gdk.EVENT_STOP else: - return False + return Gdk.EVENT_PROPAGATE