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

change GDK_POINTER_MOTION_HINT_MASK back to GDK_POINTER_MOTION_MASK

Browse Source 
because HINT doesn't works as expected, and the problem it
 seemed to solve at one time (slow resize in DrRacket) seems
 to have been fixed some other way. GDK_MOUSE_MOTION_MASK
 isn't needed, since GDK_POINTER_MOTION_MASK covers it.

 Merge to 5.1.2
(cherry picked from commit 5edc0c70af)
This commit is contained in:
Matthew Flatt 2011-07-16 14:16:49 -06:00 committed by Eli Barzilay
parent b560fc83aa
commit af3db4d9fe
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
collects/mred/private/wx/gtk/canvas.rkt
View File

@ -391,8 +391,7 @@
GDK_KEY_RELEASE_MASK
GDK_BUTTON_PRESS_MASK
GDK_BUTTON_RELEASE_MASK
GDK_POINTER_MOTION_HINT_MASK
GDK_BUTTON_MOTION_MASK
GDK_POINTER_MOTION_MASK
GDK_FOCUS_CHANGE_MASK
GDK_ENTER_NOTIFY_MASK
GDK_LEAVE_NOTIFY_MASK))