Re: Extension manager
- From: Thomas Bouffon <thomas bouffon gmail com>
- To: John Stowers <john stowers lists gmail com>
- Cc: gnome-shell-list <gnome-shell-list gnome org>
- Subject: Re: Extension manager
- Date: Tue, 5 Apr 2011 22:36:32 +0200
Le 5 avr. 2011 à 21:34, John Stowers <john stowers lists gmail com> a
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
enable/disable extensions at the moment. It could really useful, eg
It is really dirty as I did not have the gsettings gobject
After that was released the Gnome Tweak tool. At first I thought the
extension management could go in the tweak tool, but perhaps it
Nothing attached to email...
Please file a bug against gnome-tweak-tool with the code attached
will take a look at it.
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.
] [Thread Prev