wayland: Save the serial number for the ping event

This commit is contained in:
Rob Bradford 2012-07-11 17:09:23 +01:00
parent a4f032f1ea
commit 9f039e5b74

View File

@ -696,6 +696,13 @@ shell_surface_ping (void *data,
struct wl_shell_surface *shell_surface, struct wl_shell_surface *shell_surface,
uint32_t serial) 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); wl_shell_surface_pong(shell_surface, serial);
} }