Oh, actually, I think I stumbled on an explanation for this bug and have a potential fix:
https://gitlab.gnome.org/GNOME/mutter/merge_requests/1004
Oh, actually, I think I stumbled on an explanation for this bug and have a potential fix:
https:/ /gitlab. gnome.org/ GNOME/mutter/ merge_requests/ 1004