Giovanni Campagna 0bc41bcb1d native-window-placement: fix disabling the extension ...

The monkey patch was being reinstalled under the wrong name.

2012-11-11 19:26:56 +01:00

..

extension.js

native-window-placement: fix disabling the extension

2012-11-11 19:26:56 +01: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.native-window-placement.gschema.xml.in

native-window-placement: remove grid positioning strategy

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

stylesheet.css

NativeWindowPlacement: reduce the number of hacks to work better with 3.7.1

2012-10-26 17:20:41 +02:00