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

Jakob Borg df866e10c8 gui: Increase padding a bit again (ref #6153) ...

I change my mind on this, the modals need *some* padding to not look weird.

2019-11-19 22:03:31 +01:00

7.7 KiB

Raw Blame History

View Raw