Bastien Durel c5fd578214 create actor at the right place, so there is no more clipping-out-of-screen problem ...

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

2012-05-07 23:06:17 +02:00

..

extension.js

create actor at the right place, so there is no more clipping-out-of-screen problem

2012-05-07 23:06:17 +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

Let user choose the monitor where to show dock

2012-04-29 22:35:24 +02:00

stylesheet.css

dock: use core shell styling

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