From e0a3c9d2deb31beff5aaeb0aabc77bee0e0154bf Mon Sep 17 00:00:00 2001
From: Carlos Garnacho <carlosg@gnome.org>
Date: Tue, 19 Sep 2017 18:18:07 +0200
Subject: [PATCH] gtkmain: Ensure to emit real GDK_LEAVE_NOTIFY events.

If we got a GDK_LEAVE_NOTIFY event from GDK, we would reset the
GtkPointerFocus, but the event would be silently consumed.
---
 gtk/gtkmain.c | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/gtk/gtkmain.c b/gtk/gtkmain.c
index 7162719aa7..40b939f4b3 100644
--- a/gtk/gtkmain.c
+++ b/gtk/gtkmain.c
@@ -1494,6 +1494,10 @@ handle_pointing_event (GdkEvent *event)
     case GDK_TOUCH_END:
     case GDK_TOUCH_CANCEL:
       old_target = update_pointer_focus_state (toplevel, event, NULL);
+
+      if (event->type == GDK_LEAVE_NOTIFY)
+        gtk_synthesize_crossing_events (toplevel, old_target, NULL,
+                                        event, event->crossing.mode);
       break;
     case GDK_ENTER_NOTIFY:
       if (event->crossing.mode == GDK_CROSSING_GRAB ||