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 /mobile-widgets/qml | |
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 'mobile-widgets/qml')
-rw-r--r-- | mobile-widgets/qml/main.qml | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/mobile-widgets/qml/main.qml b/mobile-widgets/qml/main.qml index 194391e9f..2ef9a4332 100644 --- a/mobile-widgets/qml/main.qml +++ b/mobile-widgets/qml/main.qml @@ -665,9 +665,16 @@ if you have network connectivity and want to sync your data to cloud storage."), } } + property double regularFontsize: subsurfaceTheme.regularPointSize + FontMetrics { id: fontMetrics - font.pointSize: subsurfaceTheme.regularPointSize + font.pointSize: regularFontsize + } + + onRegularFontsizeChanged: { + manager.appendTextToLog("regular font size changed to " + regularFontsize) + rootItem.font.pointSize = regularFontsize } function setupUnits() { |