suzanne.soy/gui
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fix mouse wheel for GTK+ 3

Browse Source 
Closes PR 15271
This commit is contained in:
Matthew Flatt 2016-03-15 13:28:13 -06:00
parent 50655cea7e
commit 2c5b1480f4
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
gui-lib/mred/private/wx/gtk/canvas.rkt
View File

@ -469,7 +469,8 @@
GDK_POINTER_MOTION_MASK GDK_POINTER_MOTION_MASK
GDK_FOCUS_CHANGE_MASK GDK_FOCUS_CHANGE_MASK
GDK_ENTER_NOTIFY_MASK GDK_ENTER_NOTIFY_MASK
GDK_LEAVE_NOTIFY_MASK)) GDK_LEAVE_NOTIFY_MASK
GDK_SCROLL_MASK))
(unless (or (memq 'no-focus style) (unless (or (memq 'no-focus style)
(is-panel?)) (is-panel?))
(gtk_widget_set_can_focus client-gtk #t)) (gtk_widget_set_can_focus client-gtk #t))