[gtk+] mir: emit GDK_ENTER_NOTIFY on pointer enter

[William Hua <williamhua src gnome org>]

commit 8fac1f688e662de9fdbbcf370a32adfe7c78151a
Author: William Hua <william hua canonical com>
Date:   Sun Jun 21 22:07:44 2015 -0400

    mir: emit GDK_ENTER_NOTIFY on pointer enter

 gdk/mir/gdkmireventsource.c |    7 +++++++
 1 files changed, 7 insertions(+), 0 deletions(-)
---
diff --git a/gdk/mir/gdkmireventsource.c b/gdk/mir/gdkmireventsource.c
index b884602..3fc7ed9 100644
--- a/gdk/mir/gdkmireventsource.c
+++ b/gdk/mir/gdkmireventsource.c
@@ -386,6 +386,13 @@ handle_motion_event (GdkWindow *window, const MirInputEvent *event)
             }
 
           break;
+        case mir_pointer_action_enter:
+          if (!cursor_inside)
+            {
+              cursor_inside = TRUE;
+              generate_crossing_event (window, GDK_ENTER_NOTIFY, x, y, event_time);
+            }
+          break;
         case mir_pointer_action_leave:
           if (cursor_inside)
             {