Merge branch 'wip/carlosg/no-ping-serials-for-input' into 'master'

gdk/wayland: Do not use xdg_wm_base.ping serials as "user input" serials

See merge request GNOME/gtk!4122
This commit is contained in:
Matthias Clasen 2021-11-05 18:34:02 +00:00
commit a6f1737861

View File

@ -130,10 +130,6 @@ xdg_wm_base_ping (void *data,
struct xdg_wm_base *xdg_wm_base, struct xdg_wm_base *xdg_wm_base,
uint32_t serial) uint32_t serial)
{ {
GdkWaylandDisplay *display_wayland = data;
_gdk_wayland_display_update_serial (display_wayland, serial);
GDK_NOTE (EVENTS, GDK_NOTE (EVENTS,
g_message ("ping, shell %p, serial %u\n", xdg_wm_base, serial)); g_message ("ping, shell %p, serial %u\n", xdg_wm_base, serial));