Ubuntu
gnome-shell package

  1. Bug #1726352
  2. Comment #12

Comment 12 for bug 1726352

Revision history for this message
Walter (wdoekes) wrote :

By the way, upstream appears to have a fix for this too: https://gitlab.gnome.org/GNOME/mutter/commit/71b4ef5940d16f7d3cb7dca5c224784315803492