Ticket #4133: patch
File patch, 633 bytes (added by garnacho, 11 years ago) |
---|
-
gdk/gdkdisplay.c
diff --git a/gdk/gdkdisplay.c b/gdk/gdkdisplay.c index 60bbb44..b02ab8a 100644
a b switch_to_pointer_grab (GdkDisplay *display, 985 985 NULL, NULL); 986 986 } 987 987 988 if (pointer_window != last_grab->window) 988 if (!info->need_touch_press_enter && 989 pointer_window != last_grab->window) 989 990 synthesize_crossing_events (display, device, source_device, 990 991 last_grab->window, pointer_window, 991 992 GDK_CROSSING_UNGRAB, time, serial);