Re: Extension manager

[John Stowers <john stowers lists gmail com>]

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