Ubuntu
gnome-shell package

  1. Bug #1181666
  2. Comment #124

Comment 124 for bug 1181666

Revision history for this message
Daniel van Vugt (vanvugt) wrote :

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(?)