Giovanni Campagna 5bf1339ef1 dock: restore strut management ...

When configured not to auto-hide, the dock should modify struts
so that it doesn't cover maximized windows.

2011-12-20 19:04:49 +01:00

..

extension.js

dock: restore strut management

2011-12-20 19:04:49 +01:00

Makefile.am

Add capability to build extension zip-files

2011-11-19 15:42:27 +01:00

metadata.json.in

Remove all references to localedir from metadata.json

2011-11-20 00:40:20 +01:00

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

dock: fix documentation and default value of hide-effect

2011-12-19 16:33:30 +01:00

stylesheet.css

Add dock extension

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