diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2021-01-14 17:08:13 -0800 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2021-01-19 12:35:29 -0800 |
| commit | 323e97c60370f06bb30e57580c8c4fce39df95f7 (patch) | |
| tree | 577e0aa0d87e5c7012c57c7829587f5f9aeb8b31 /dives/ostc_00087_04-05-2014_043m_032min.dive | |
| parent | 14721175416772d23c9757e74b78ec8be448aac7 (diff) | |
| download | subsurface-323e97c60370f06bb30e57580c8c4fce39df95f7.tar.gz | |
mobile/UI: remember the system default font size
We need to do this before the preferences are loaded, or the system
default size is lost. Given that our other sizes are all relative to
this value, that would be a problem.
With this we can now ensure that we always have the right font size for
smaller, regular, and larger theme settings.
Also removes some obsolete commented out code.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'dives/ostc_00087_04-05-2014_043m_032min.dive')
0 files changed, 0 insertions, 0 deletions