static void xdg_shell_ping (void *data, struct xdg_shell *xdg_shell, uint32_t serial) { GdkWaylandDisplay *wayland_display = data; _gdk_wayland_display_update_serial (wayland_display, serial); xdg_shell_pong (xdg_shell, serial); }
static void xdg_shell_ping (void *data, struct xdg_shell *xdg_shell, uint32_t serial) { GdkWaylandDisplay *wayland_display = data; _gdk_wayland_display_update_serial (wayland_display, serial); GDK_NOTE (EVENTS, g_message ("ping, shell %p, serial %u\n", xdg_shell, serial)); xdg_shell_pong (xdg_shell, serial); }