suzanne.soy/gui
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

original commit: 5edc0c70afc1e2aeada096f0eb50c92c0f9d8b65
This commit is contained in:
Matthew Flatt 2011-07-16 14:16:49 -06:00
parent 8941903f41
commit d71e63c4b8
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_KEY_RELEASE_MASK
GDK_BUTTON_PRESS_MASK GDK_BUTTON_PRESS_MASK
GDK_BUTTON_RELEASE_MASK GDK_BUTTON_RELEASE_MASK
GDK_POINTER_MOTION_HINT_MASK GDK_POINTER_MOTION_MASK
GDK_BUTTON_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))