[gtk+] wayland: Save the serial numbers for the pointer events

[Rob Bradford <rbradford src gnome org>]

commit a4f032f1ea23437d82d03d2003c831de3d91c5ad
Author: Rob Bradford <rob linux intel com>
Date:   Wed Jul 11 17:08:39 2012 +0100

    wayland: Save the serial numbers for the pointer events

 gdk/wayland/gdkdevice-wayland.c |   13 ++++++++++++-
 1 files changed, 12 insertions(+), 1 deletions(-)
---
diff --git a/gdk/wayland/gdkdevice-wayland.c b/gdk/wayland/gdkdevice-wayland.c
index 6bd993a..5f38718 100644
--- a/gdk/wayland/gdkdevice-wayland.c
+++ b/gdk/wayland/gdkdevice-wayland.c
@@ -944,9 +944,12 @@ pointer_handle_enter (void              *data,
                       wl_fixed_t         sx,
                       wl_fixed_t         sy)
 {
-
   GdkWaylandDevice *device = data;
   GdkEvent *event;
+  GdkWaylandDisplay *wayland_display =
+    GDK_WAYLAND_DISPLAY (device->display);
+
+  _gdk_wayland_display_update_serial (wayland_display, serial);
 
   device->pointer_focus = wl_surface_get_user_data(surface);
   g_object_ref(device->pointer_focus);
@@ -982,6 +985,10 @@ pointer_handle_leave (void              *data,
 {
   GdkWaylandDevice *device = data;
   GdkEvent *event;
+  GdkWaylandDisplay *wayland_display =
+    GDK_WAYLAND_DISPLAY (device->display);
+
+  _gdk_wayland_display_update_serial (wayland_display, serial);
 
   event = gdk_event_new (GDK_LEAVE_NOTIFY);
   event->crossing.window = g_object_ref (device->pointer_focus);
@@ -1054,6 +1061,10 @@ pointer_handle_button (void              *data,
   GdkEvent *event;
   uint32_t modifier;
   int gdk_button;
+  GdkWaylandDisplay *wayland_display =
+    GDK_WAYLAND_DISPLAY (device->display);
+
+  _gdk_wayland_display_update_serial (wayland_display, serial);
 
   switch (button) {
   case 273: