diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2021-01-14 04:05:38 -0800 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2021-01-19 12:35:29 -0800 |
| commit | 2c3d927a4290a88ca8287030f5d59128452c73ca (patch) | |
| tree | 611660909b2f00b906c3434bc81ee0172e14d12f /dives/TestComma.csv | |
| parent | 4843ae4ede4317a14aa49f042863530a22589de6 (diff) | |
| download | subsurface-2c3d927a4290a88ca8287030f5d59128452c73ca.tar.gz | |
mobile/UI: don't double apply the font scale factor
The mobile scale code had a fundamental flaw: we applied the scale
factor once to gridUnit, but twice to the font size. So effectively we
had font sizes of 72% and 132% (all of course then rounded to integers
for no good reason) instead of the intended 85% and 115%.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'dives/TestComma.csv')
0 files changed, 0 insertions, 0 deletions