Ubuntu
gnome-tweak-tool package

  1. Bug #1681918
  2. Comment #3

Comment 3 for bug 1681918

Revision history for this message
aleksandar-todorovic (aleksandar-todorovic) wrote :

This might possibly need to be the highest priority.

Same thing happens on a fresh Ubuntu GNOME zesty installation (see the attachment).

I thought that installing a new one might be a good workaround, so I went to extensions.gnome.org, picked a random extension, and installed it.

Nope, even though it's installed, it's not turned on and I still can't touch a thing in that window.

After that, I've tried enabling them using:

    gnome-shell-extension-tool -e <EXTENSION_NAME>

As the output, I get a message saying that the extension has been enabled, which is not the case. Restarting the GNOME Shell also didn't work.

...and only at this point, I've noticed the global setting for enabling the extensions, which indeed re-enables all of them.