Le 5 avr. 2011 à 21:34, John Stowers <[email protected]> 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
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
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.
Cheers,
Thomas
_______________________________________________
gnome-shell-list mailing list
[email protected]
http://mail.gnome.org/mailman/listinfo/gnome-shell-list
