[gtk+/wip/carlosg/event-delivery: 69/104] gtkmain: Avoid doubly propagation of enter/leave events from windowing

[Carlos Garnacho <carlosg src gnome org>]

commit 5483b9db2d53c0b9974076475cd98d4606e4b7ee
Author: Carlos Garnacho <carlosg gnome org>
Date:   Thu Apr 13 15:42:48 2017 +0200

    gtkmain: Avoid doubly propagation of enter/leave events from windowing
    
    Crossing events are already generated when picking the new pointer position,
    so we don't have to propagate the windowing crossing event as-is.

 gtk/gtkmain.c |    4 +---
 1 files changed, 1 insertions(+), 3 deletions(-)
---
diff --git a/gtk/gtkmain.c b/gtk/gtkmain.c
index f724c78..cc9e238 100644
--- a/gtk/gtkmain.c
+++ b/gtk/gtkmain.c
@@ -1797,9 +1797,7 @@ gtk_main_do_event (GdkEvent *event)
 
     case GDK_ENTER_NOTIFY:
     case GDK_LEAVE_NOTIFY:
-      if (gtk_widget_is_sensitive (grab_widget) &&
-          !_gtk_propagate_captured_event (grab_widget, event, topmost_widget))
-        gtk_widget_event (grab_widget, event);
+      /* Crossing event propagation happens during picking */
       break;
 
     case GDK_DRAG_STATUS: