Dirk Hohndel
3469fa70eb
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>
2021-01-19 12:35:29 -08:00
2020-03-10 09:25:57 -07:00
2020-12-23 09:44:39 -08:00
2020-12-20 17:08:21 -08:00
2018-12-21 09:13:37 +02:00
2021-01-01 11:35:39 -08:00
2021-01-13 16:16:31 -08:00
2021-01-10 15:57:39 -08:00
2021-01-13 16:16:31 -08:00
2020-01-24 20:20:41 -08:00
2020-01-24 20:20:41 -08:00
2020-03-04 08:03:44 -08:00
2020-01-24 20:20:41 -08:00
2021-01-12 08:31:35 -08:00
2021-01-01 11:35:39 -08:00
2021-01-01 11:35:39 -08:00
2020-03-12 07:07:48 -07:00
2018-10-07 17:43:34 +03:00
2018-10-01 05:29:46 -07:00
2020-01-18 12:44:05 -08:00
2021-01-12 08:31:35 -08:00
2019-10-13 11:32:27 -07:00
2021-01-12 08:31:35 -08:00
2019-11-26 09:44:13 -08:00
2017-04-01 09:35:51 +02:00
2020-06-07 19:47:52 -07:00
2021-01-19 12:35:29 -08:00
2018-10-21 14:43:41 -04:00
2021-01-13 16:16:31 -08:00
2020-12-20 17:08:21 -08:00
2021-01-13 16:16:31 -08:00
2021-01-19 12:35:29 -08:00
2021-01-01 11:35:39 -08:00
2021-01-12 08:31:35 -08:00
2021-01-01 11:35:39 -08:00
2020-05-14 12:57:08 -07:00
2020-05-14 12:57:08 -07:00
2020-01-19 11:50:19 -08:00
2020-02-06 21:45:00 -08:00
2020-12-20 10:51:18 -08:00
2020-01-25 17:25:54 -08:00
2021-01-12 08:31:35 -08:00
2020-12-23 09:44:39 -08:00
2020-01-19 11:50:10 -08:00
2020-01-27 14:25:03 -08:00
2021-01-19 12:35:29 -08:00
2020-12-23 09:44:39 -08:00
3469fa70eb