The possible fix I mentioned in comment #68:
https://gitlab.gnome.org/GNOME/mutter/merge_requests/189
is in Gnome 3.34 and Ubuntu 19.10 now.
However, since this bug became quiet long before that, it seems like something else fixed it already for most people(?)
The possible fix I mentioned in comment #68:
https:/ /gitlab. gnome.org/ GNOME/mutter/ merge_requests/ 189
is in Gnome 3.34 and Ubuntu 19.10 now.
However, since this bug became quiet long before that, it seems like something else fixed it already for most people(?)