Files
gnome-shell-extensions/extensions
Giovanni Campagna f8e40f2dde native-window-placement: port to new extension API
main() has been replaced by init(), enable() and disable()
It should disable, but it is likely I overlooked something.
2011-08-18 16:22:45 +02:00
..
2011-08-02 23:30:38 +02:00