diff options
| author | Jonas Kümmerlin <jonas@kuemmerlin.eu> | 2020-06-23 15:10:37 +0200 |
|---|---|---|
| committer | Jonas Kümmerlin <jonas@kuemmerlin.eu> | 2020-06-23 15:10:37 +0200 |
| commit | 0817e451578b2920ec30a2ebb88fe908cf60c0e0 (patch) | |
| tree | 077d3c1a4149e27e0fc1522add26f506d6f1f81b /out | |
| parent | 8b3303ddbfbe86f5e33e8a92b1d02707ff56844a (diff) | |
button: new padding calculation
this is more in line with how win10 does things and IMHO leads to better
results on high-dpi displays.
Diffstat (limited to 'out')
0 files changed, 0 insertions, 0 deletions