diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2021-01-18 09:57:01 -0800 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2021-01-19 12:42:48 -0800 |
| commit | 9be23b5f3f8373ba115f4e66e77c0537abe982b2 (patch) | |
| tree | 34cd5055d78e45790a52d016da2351dc2056003d /stats | |
| parent | f678be03746aba4e1cedf60eef2a040beff20487 (diff) | |
| download | subsurface-9be23b5f3f8373ba115f4e66e77c0537abe982b2.tar.gz | |
mobile/UI: correctly update title bar font size
Simply force it to use the default font, which is bound to the
application font, which we SHOULD be updating when changing the regular
font size for the app, anyway.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'stats')
0 files changed, 0 insertions, 0 deletions