Extension manager

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

I'm leaving the tarball in this email, if anyone wants to try / improve it.


P.S : Thanks Gio for the extension repo/release !

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