[gtk+] wayland: Make the event source use _gdk_display_get_next_serial

[Rob Bradford <rbradford src gnome org>]

commit 675b2fddcb0268c3c2ec6c93585d0374ddd6106a
Author: Rob Bradford <rob linux intel com>
Date:   Fri Jan 6 16:48:13 2012 +0000

    wayland: Make the event source use _gdk_display_get_next_serial

 gdk/wayland/gdkeventsource.c |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/gdk/wayland/gdkeventsource.c b/gdk/wayland/gdkeventsource.c
index b48e880..6f76d1d 100644
--- a/gdk/wayland/gdkeventsource.c
+++ b/gdk/wayland/gdkeventsource.c
@@ -113,10 +113,10 @@ void
 _gdk_wayland_display_deliver_event (GdkDisplay *display, GdkEvent *event)
 {
   GList *node;
-  static int serial;
 
   node = _gdk_event_queue_append (display, event);
-  _gdk_windowing_got_event (display, node, event, serial++);
+  _gdk_windowing_got_event (display, node, event,
+                            _gdk_display_get_next_serial (display));
 }
 
 GSource *