From 2c5b1480f4f7b39e84548d2a618e30525178a364 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Tue, 15 Mar 2016 13:28:13 -0600 Subject: [PATCH] fix mouse wheel for GTK+ 3 Closes PR 15271 --- gui-lib/mred/private/wx/gtk/canvas.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/gui-lib/mred/private/wx/gtk/canvas.rkt b/gui-lib/mred/private/wx/gtk/canvas.rkt index 7807af82..1607721b 100644 --- a/gui-lib/mred/private/wx/gtk/canvas.rkt +++ b/gui-lib/mred/private/wx/gtk/canvas.rkt @@ -469,7 +469,8 @@ GDK_POINTER_MOTION_MASK GDK_FOCUS_CHANGE_MASK GDK_ENTER_NOTIFY_MASK - GDK_LEAVE_NOTIFY_MASK)) + GDK_LEAVE_NOTIFY_MASK + GDK_SCROLL_MASK)) (unless (or (memq 'no-focus style) (is-panel?)) (gtk_widget_set_can_focus client-gtk #t))