Ole Jørgen Brønner 4e511e37ac Bottom margin ...

Kept the 'vertical-margin' key (as opposed to renaming to some variant of
top-margin) for compatibility reasons

closes #146

2019-07-08 18:36:38 +02:00

..

gschemas.compiled

Bottom margin

2019-07-08 18:36:38 +02:00

Makefile

Custom schema (let us create new keybindings/actions)

2017-09-11 18:02:55 +02:00

org.gnome.shell.extensions.org-scrollwm.gschema.xml

Bottom margin

2019-07-08 18:36:38 +02:00