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.
Note: Binary files aren't shown on the web site. To see all files, please download the extension zipfile.
Extension Shortcuts