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.
I'm leaving the tarball in this email, if anyone wants to try / improve it. Cheers, Thomas P.S : Thanks Gio for the extension repo/release ! _______________________________________________ gnome-shell-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/gnome-shell-list
