From af3db4d9fe021d67b84edc758fd1e8dbed7e7409 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 (cherry picked from 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 5f73c3153b..052725277e 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))