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