On Tue, 2011-04-05 at 17:33 +0200, Thomas Bouffon wrote: > Hi all ! > > A few weeks ago, I started a little piece of python code that can only > enable/disable extensions at the moment. It could really useful, eg to > configure auto-move-windows. > It is really dirty as I did not have the gsettings gobject introspection. > After that was released the Gnome Tweak tool. At first I thought the > extension management could go in the tweak tool, but perhaps it should > not.
Nothing attached to email... Please file a bug against gnome-tweak-tool with the code attached and I will take a look at it. https://bugzilla.gnome.org/browse.cgi?product=gnome-tweak-tool John _______________________________________________ gnome-shell-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/gnome-shell-list
