Ubuntu
gnome-shell-extensions package

  1. Bug #2037540
  2. Comment #2

Comment 2 for bug 2037540

Revision history for this message
Jeremy Bícha (jbicha) wrote :

I'm adding back the GNOME Shell task because this works correctly in the GNOME session but not the Ubuntu session. The Ubuntu customizations are not compatible with this extension.