Marc Alcalà 41d9b71b26 Allow dock allows multiple positions in screen ...

Use GSettings to store configuration and make the dock position
customizabile. Currently, supported are left and right of the
primary monitor; more could be added in the future.

(Commit message edited by Giovanni Campagna)

https://bugzilla.gnome.org/show_bug.cgi?id=647394

Signed-off-by: Giovanni Campagna <gcampagna@src.gnome.org>

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

..

extension.js

Allow dock allows multiple positions in screen

2011-05-23 22:42:07 +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

Allow dock allows multiple positions in screen

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

stylesheet.css

Add dock extension

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