Ubuntu
gnome-shell package

  1. Bug #1723857
  2. Comment #15

Comment 15 for bug 1723857

Revision history for this message
Sameer (electrosam) wrote :

@keringar Thanks a lot for the extension! Its a lifesaver until this bug is fixed.
Verified working with GNOME 3.26.1