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 remake from Extension Shortcuts by mbokil: https://extensions.gnome.org/extension/439/extensions-shortcuts/

Extension Homepage

http://shs-schubert.de/gnome-shell/

Download

Shell version… Extension version…