This is fixed by https://gitlab.gnome.org/GNOME/mutter/merge_requests/792 (I tested 850ef518795dcc20d3b9a4f661f70ff8d0ddacb2).
This is fixed by https:/ /gitlab. gnome.org/ GNOME/mutter/ merge_requests/ 792 (I tested 850ef518795dcc2 0d3b9a4f661f70f f8d0ddacb2) .