diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2018-09-22 16:09:31 -0700 |
|---|---|---|
| committer |  Jan Mulder <jlmulder@xs4all.nl> | 2018-09-25 15:58:17 +0200 |
| commit | 617019bc6b9e5bebba1cb96b1ed039befa8470ff (patch) | |
| tree | 335bf32c030ba7f6394aa298ff8c5410f1e6e426 /desktop-widgets | |
| parent | 38307a5b3c7bfd798815d18d7b2b982075ec8e12 (diff) | |
| download | subsurface-617019bc6b9e5bebba1cb96b1ed039befa8470ff.tar.gz | |
qPref: add mobile_scale preference
We use that in the mobile app to scale the whole app, as all sizes there
are relative to the default font.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'desktop-widgets')
0 files changed, 0 insertions, 0 deletions