This repository has been archived on 2023-10-09. You can view files and clone it. You cannot open issues or pull requests or push a commit.

Julian Eisel a529ad9707 Minor adjustments to keymap editor layouts ...

* Remove unnecessary big margins after triangle icons (esp. for keymap items they where waaay to big)
* Remove ugly margin after "Foo (Global)" entries
* Add little margin after expanded key maps

2016-02-20 00:46:17 +01:00

13 KiB

Raw Blame History

View Raw