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/
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?