Re: Extension manager

Le 5 avr. 2011 à 21:34, John Stowers <john stowers lists gmail com> a écrit :

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

Nothing attached to email...

Please file a bug against gnome-tweak-tool with the code attached and I
will take a look at it.


Hi john!
Indeed i forgot it...
I'll send it tomorrow. Apart from that, I don't really know the scope of the tweak tool. Sounds to me like "tweaking" is a bit further than "extending". Still, your code and the use of gobject represent what I would have liked to have coded for extensions.


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]