Easily enable/disable gnome shell extensions from a popup menu in the top panel. Also allows to open the preferences of the extensions.
The easiest way to install this extension is via the official Gnome Shell Extensions resource page: https://extensions.gnome.org/extension/1036/extensions/
For Arch Linux the AUR package gnome-shell-extension-extensions-git is provided.
Planned additional functionality:
- Adding preferences for blacklist extensions from menu
- Seperators