wayland: Add internal API for handling Wayland serial numbers

We need to keep track of the serial numbers for various API requests.
2012-07-11 17:06:32 +01:00
parent 17d1c3c833
commit 7fe87016f3
3 changed files with 19 additions and 1 deletions
--- a/gdk/wayland/gdkprivate-wayland.h
+++ b/gdk/wayland/gdkprivate-wayland.h
@ -155,4 +155,7 @@ void _gdk_wayland_window_set_device_grabbed (GdkWindow      *window,
                                             struct wl_seat *seat,
                                             guint32         time_);

+guint32 _gdk_wayland_display_get_serial (GdkWaylandDisplay *wayland_display);
+void _gdk_wayland_display_update_serial (GdkWaylandDisplay *wayland_display, guint32 serial);
+
 #endif /* __GDK_PRIVATE_WAYLAND_H__ */