Simple extension to enable/disable installed extensions. - gnome-shell 3.4 support added thanks to community
Note: Binary files aren't shown on the web site. To see all files, please download the extension zipfile.
1) You can use the extensionSystem directly instead of going through GSettings and enumerating ~/.local/share/gnome-shell/extensions, but still fine. 2) You can use Panel.addtoStatusArea instead of adding actors manually. In any case, seems fine.