Giovanni Campagna e3f1091f2d dock: clip the actor to the primary monitor ...

In particular with the move effect, but also with others, the
dock could end up partially on the neighbor screen when hidden.

2012-04-28 18:28:36 +02:00

..

extension.js

dock: clip the actor to the primary monitor

2012-04-28 18:28:36 +02:00

Makefile.am

build system: factor out setting schema generation

2012-02-08 18:01:00 +01:00

metadata.json.in

build system: add additional automatic metadata

2012-02-08 18:00:56 +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

dock: use core shell styling

2011-12-20 19:52:25 +01:00