Extension shortcuts allows easy access to managing installed extensions, browsing for new extensions, and changing extension preferences. Advanced settings runs gnome-tweak-tool. To install: sudo apt-get install gnome-tweak-tool. This is a gnome-shell 3.6 compatible update. Thanks to schubi for version 3.6 compatibility code contribution.
Unfortunately, to help prevent spam, we require that you log in to GNOME Shell Extensions in order to post a comment or report an error. You understand, right?