diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2020-02-09 16:43:08 -0800 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2020-02-09 16:45:04 -0800 |
| commit | a7d1dbd013a049593941995883c29853743c2d42 (patch) | |
| tree | 17d2d8dd91b5edef09d3c70e95f8016135ea3bb8 /packaging | |
| parent | 407b6ce43f413d0d4e8aed8379a66bd7a8cd3687 (diff) | |
| download | subsurface-a7d1dbd013a049593941995883c29853743c2d42.tar.gz | |
mobile UI: fix font size breakage on Android
The pointSize() of a font can return -1 if the font was originally specificied
with a pixelSize. Work around this by using QFontInfo to calculate the correct
value.
Additionally, don't use the pointSize() of a font when we can instead use the
calculated size.
This fixes the problem with the missing star ratings on Android.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'packaging')
0 files changed, 0 insertions, 0 deletions