If you're interested, there is also a terminal command to manage extensions: gnome-extensions [command]
Example - show your installed extensions:
Code:
dmn@Tyana-vm:~$ gnome-extensions list
user-theme@gnome-shell-extensions.gcampax.github.com
drive-menu@gnome-shell-extensions.gcampax.github.com
all-windows@ezix.org
dash-to-dock@micxgx.gmail.com
apps-menu@gnome-shell-extensions.gcampax.github.com
panel-osd@berend.de.schouwer.gmail.com
places-menu@gnome-shell-extensions.gcampax.github.com
workspace-indicator@gnome-shell-extensions.gcampax.github.com
desktop-icons@csoriano
ubuntu-appindicators@ubuntu.com
ubuntu-dock@ubuntu.com
But the names here do not always correspond exactly with the names on the gnome-shell extensions web site. (For example: above is "apps-menu" but it's "Applications Menu" in the Extensions GUI and on the web site.) Neither does is always show the author.
Use gnome-extensions help to see available commands.
Bookmarks