Yu
---------- Forwarded message ---------- From: John Stowers john.stowers.lists@gmail.com Date: 2011/5/11 Subject: Management of shell extensions (via gnome-tweak-tool) To: gnome-shell-list gnome-shell-list@gnome.org
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
_______________________________________________ gnome-shell-list mailing list gnome-shell-list@gnome.org http://mail.gnome.org/mailman/listinfo/gnome-shell-list
chinese@lists.fedoraproject.org