[gtk+] wayland: Update the display serial on touch down/up events

[Carlos Garnacho <carlosg src gnome org>]

commit 6f789d5a7806624a0f38e53776c6c674c4f114d1
Author: Carlos Garnacho <carlosg gnome org>
Date:   Wed Aug 20 20:52:39 2014 +0200

    wayland: Update the display serial on touch down/up events
    
    https://bugzilla.gnome.org/show_bug.cgi?id=734374

 gdk/wayland/gdkdevice-wayland.c |    8 ++++++++
 1 files changed, 8 insertions(+), 0 deletions(-)
---
diff --git a/gdk/wayland/gdkdevice-wayland.c b/gdk/wayland/gdkdevice-wayland.c
index cc2be21..002b250 100644
--- a/gdk/wayland/gdkdevice-wayland.c
+++ b/gdk/wayland/gdkdevice-wayland.c
@@ -1384,9 +1384,13 @@ touch_handle_down (void              *data,
                    wl_fixed_t         y)
 {
   GdkWaylandDeviceData *device = data;
+  GdkWaylandDisplay *wayland_display =
+    GDK_WAYLAND_DISPLAY (device->display);
   GdkWaylandTouchData *touch;
   GdkEvent *event;
 
+  _gdk_wayland_display_update_serial (wayland_display, serial);
+
   touch = gdk_wayland_device_add_touch (device, id, wl_surface);
   touch->x = wl_fixed_to_double (x);
   touch->y = wl_fixed_to_double (y);
@@ -1408,9 +1412,13 @@ touch_handle_up (void            *data,
                  int32_t          id)
 {
   GdkWaylandDeviceData *device = data;
+  GdkWaylandDisplay *wayland_display =
+    GDK_WAYLAND_DISPLAY (device->display);
   GdkWaylandTouchData *touch;
   GdkEvent *event;
 
+  _gdk_wayland_display_update_serial (wayland_display, serial);
+
   touch = gdk_wayland_device_get_touch (device, id);
   event = _create_touch_event (device, touch, GDK_TOUCH_END, time);