Florian Müllner 2b9ea7519b native-window-placement: Make sure that the border does not overlap the title ...

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

2015-12-04 11:38:35 +01:00

..

extension.js

native-window-placement: Make sure that the border does not overlap the title

2015-12-04 11:38:35 +01:00

Makefile.am

build system: factor out setting schema generation

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

metadata.json.in

Update descriptions of extensions

2013-05-20 19:06:59 +02:00

org.gnome.shell.extensions.native-window-placement.gschema.xml.in

native-window-placement: remove grid positioning strategy

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

stylesheet.css

native-window-placement: update for gnome-shell changes

2013-02-04 23:52:17 +01:00