Giovanni Campagna 1c4252720d dock: port to new extension API ...

main() has been replaced by init(), enable() and disable()
not sure if it works, could cause memory leaks if disabling, because
of uncollectable cycles

2011-08-02 23:30:38 +02:00

..

extension.js

dock: port to new extension API

2011-08-02 23:30:38 +02:00

Makefile.am

Allow dock allows multiple positions in screen

2011-05-23 22:42:07 +02:00

metadata.json.in

Revert "Mark extensions that require only public API"

2011-04-26 01:17:23 +02:00

org.gnome.shell.extensions.dock.gschema.xml.in

dock: implement autohiding

2011-07-13 00:55:08 +02:00

stylesheet.css

Add dock extension

2011-02-19 20:31:03 +01:00