Dirk Hohndel 323e97c603 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>
2021-01-19 12:35:29 -08:00
..
2019-08-08 08:56:44 -07:00
2019-08-08 16:26:31 -07:00
2020-12-17 08:10:56 -08:00
2017-04-29 13:32:55 -07:00
2020-10-24 09:51:37 -07:00
2020-10-24 09:51:37 -07:00
2020-09-29 16:13:03 -07:00
2018-10-21 19:55:09 +03:00
2021-01-06 10:18:23 -08:00
2021-01-10 15:57:39 -08:00
2020-10-24 09:51:37 -07:00
2020-10-24 09:51:37 -07:00
2021-01-10 15:57:39 -08:00
2021-01-10 15:57:39 -08:00
2020-04-18 13:41:29 +02:00
2019-12-13 07:04:00 -05:00
2017-04-29 13:32:55 -07:00
2020-12-29 08:34:09 -08:00
2020-03-10 17:42:54 -07:00
2020-03-10 17:42:54 -07:00
2020-05-03 15:02:21 -07:00