diff options
| author | David Härdeman <david@hardeman.nu> | 2015-07-14 18:53:05 +0200 |
|---|---|---|
| committer | David Härdeman <david@hardeman.nu> | 2015-07-14 18:53:05 +0200 |
| commit | 944ffc1a1f1bae8812ee4d0ddda786aea09bb617 (patch) | |
| tree | 5b23580a71ce5def637a5bd383a1458e3aef3882 /tools | |
| parent | d45f4f380e8dfca977ca2d5a19787a2e2b57e2f7 (diff) | |
Make button size themeable indirectly through font settings
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions