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

[Carlos Garnacho <carlosg src gnome org>]

commit 877508691b2e2ffdf7b15e5f979f3ef36a1b9de6
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 55e1ceb..de7ce9c 100644
--- a/gtk/gtkmain.c
+++ b/gtk/gtkmain.c
@@ -1796,9 +1796,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: