diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2017-04-03 17:29:06 -0700 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2017-04-04 11:00:18 -0700 |
| commit | 01d091fbd5ff88ac530f26c36b2cba3cc936448b (patch) | |
| tree | 640207dbd88d285f78dcb7b6a04f8ab583d3cc83 /mobile-widgets/qmlmanager.h | |
| parent | e700ea9638907c63a2cc032e005da9352341bd1c (diff) | |
| download | subsurface-01d091fbd5ff88ac530f26c36b2cba3cc936448b.tar.gz | |
QML UI: better handling of device pixel ratio
In order to make sure we don't render the initial profiles with the
wrong scale on devices, we need to seed the device pixel ratio with the
device default and then update it once the window has been created.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'mobile-widgets/qmlmanager.h')
| -rw-r--r-- | mobile-widgets/qmlmanager.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/mobile-widgets/qmlmanager.h b/mobile-widgets/qmlmanager.h index 8c5b02fa1..04f4a40dd 100644 --- a/mobile-widgets/qmlmanager.h +++ b/mobile-widgets/qmlmanager.h @@ -154,6 +154,7 @@ public slots: void refreshDiveList(); void screenChanged(QScreen *screen); qreal lastDevicePixelRatio(); + void setDevicePixelRatio(qreal dpr, QScreen *screen); void appendTextToLog(const QString &newText); void quit(); void hasLocationSourceChanged(); |