diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2021-01-15 11:50:12 -0800 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2021-01-19 12:35:29 -0800 |
| commit | 3469fa70eba9a0687d9130cf79e914d4ba242fd8 (patch) | |
| tree | ec4b35387652bfb4c4e9c5f12fbb981fbf967bed /Documentation/mobile-manual-v2.txt | |
| parent | 2c3d927a4290a88ca8287030f5d59128452c73ca (diff) | |
| download | subsurface-3469fa70eba9a0687d9130cf79e914d4ba242fd8.tar.gz | |
mobile/UI: offer more font sizes
As it turns out, we used to get the font scaling completely wrong. As a
result we got got ~72% and ~132% instead of the intended 85% and 115%.
So now people have both options, in each case with matching gridUnit
(and therefore visual spacing), and font size.
Also visualize the font size by rendering the button text accordingly.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'Documentation/mobile-manual-v2.txt')
0 files changed, 0 insertions, 0 deletions