Thanks. I'm glad to have fixed it already then :)
https://gitlab.gnome.org/GNOME/mutter/merge_requests/117
Thanks. I'm glad to have fixed it already then :)
https:/ /gitlab. gnome.org/ GNOME/mutter/ merge_requests/ 117