From 9f039e5b747219eaa1dfc137f7835f2f7a6cbbdf Mon Sep 17 00:00:00 2001 From: Rob Bradford Date: Wed, 11 Jul 2012 17:09:23 +0100 Subject: [PATCH] wayland: Save the serial number for the ping event --- gdk/wayland/gdkwindow-wayland.c | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/gdk/wayland/gdkwindow-wayland.c b/gdk/wayland/gdkwindow-wayland.c index 963da15070..2544666cf8 100644 --- a/gdk/wayland/gdkwindow-wayland.c +++ b/gdk/wayland/gdkwindow-wayland.c @@ -696,6 +696,13 @@ shell_surface_ping (void *data, struct wl_shell_surface *shell_surface, uint32_t serial) { + + GdkWindow *window = GDK_WINDOW (data); + GdkWaylandDisplay *wayland_display = + GDK_WAYLAND_DISPLAY (gdk_window_get_display (window)); + + _gdk_wayland_display_update_serial (wayland_display, serial); + wl_shell_surface_pong(shell_surface, serial); }