From d71e63c4b873fc32c0ae52927f2b390dc7c8768e Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sat, 16 Jul 2011 14:16:49 -0600 Subject: [PATCH] change GDK_POINTER_MOTION_HINT_MASK back to GDK_POINTER_MOTION_MASK 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 --- collects/mred/private/wx/gtk/canvas.rkt | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/collects/mred/private/wx/gtk/canvas.rkt b/collects/mred/private/wx/gtk/canvas.rkt index 5f73c315..05272527 100644 --- a/collects/mred/private/wx/gtk/canvas.rkt +++ b/collects/mred/private/wx/gtk/canvas.rkt @@ -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))