Management of shell extensions (via gnome-tweak-tool)

[John Stowers <john stowers lists gmail com>]

Hi All,

I added support for installing (e.g. from zip file[1]) and
enabling/disabling gnome-shell extensions to gnome-tweak-tool.

The enable/disable code should not conflict with distro package
managers.

The code is available in master[2]. I would appreciate if people tested
this functionality and filed bugs [3] before the 3.0.2 release.

Feedback also appreciated,

Regards,

John

[1] https://github.com/sardemff7/GS-Gnote/zipball/master
[2] http://git.gnome.org/browse/gnome-tweak-tool/
[3] https://bugzilla.gnome.org/browse.cgi?product=gnome-tweak-tool