Ubuntu
gnome-shell package

  1. Bug #1889377
  2. Comment #4

Comment 4 for bug 1889377

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

In future if you need to configure or analyse extensions, please use the Extensions app (gnome-shell-extension-prefs) and not Gnome Tweaks. But it looks like the list of extensions is still nice and short.