diff options
author | Sebastian Kügler <sebas@kde.org> | 2015-11-06 21:54:54 +0000 |
---|---|---|
committer | Dirk Hohndel <dirk@hohndel.org> | 2015-11-06 14:06:03 -0800 |
commit | 7b320a7d340bef9d12ab7bce7c5a7215023db140 (patch) | |
tree | dd6f7927424b1574aa40c6ce301662faa86498e3 /desktop-widgets | |
parent | cdcb5c1603fb4f47833b3da920b4961a32bc3adb (diff) | |
download | subsurface-7b320a7d340bef9d12ab7bce7c5a7215023db140.tar.gz |
Improve theme information panel
- add sizing information for fonts and fontmetrics
- compute devicePixelRatio from fontmetrics
This shows that Android doesn't give us accurate information about the
default font (hence the Text items being way too small) and a wrong
Screen.devicePixelRatio, which we can actually compute ourselves.
Signed-off-by: Sebastian Kügler <sebas@kde.org>
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'desktop-widgets')
0 files changed, 0 insertions, 0 deletions