From 5483b9db2d53c0b9974076475cd98d4606e4b7ee Mon Sep 17 00:00:00 2001
From: Carlos Garnacho <carlosg@gnome.org>
Date: Thu, 13 Apr 2017 15:42:48 +0200
Subject: [PATCH] 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 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/gtk/gtkmain.c b/gtk/gtkmain.c
index f724c78355..cc9e238716 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: