
With the right priority so we hopefully group events properly. https://gitlab.gnome.org/GNOME/mutter/merge_requests/499 https://gitlab.gnome.org/GNOME/gtk/issues/1365
With the right priority so we hopefully group events properly. https://gitlab.gnome.org/GNOME/mutter/merge_requests/499 https://gitlab.gnome.org/GNOME/gtk/issues/1365