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

[Carlos Garnacho <carlosg src gnome org>]

commit 9b2b6e5325c8a403e43e996311affd107207b410
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 9bfba5d..d808e69 100644
--- a/gtk/gtkmain.c
+++ b/gtk/gtkmain.c
@@ -1791,9 +1791,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: