diff options
| author | wolfbeast <mcwerewolf@gmail.com> | 2018-05-31 11:01:00 +0200 |
|---|---|---|
| committer | wolfbeast <mcwerewolf@gmail.com> | 2018-05-31 18:03:14 +0200 |
| commit | 13b342868f51f15200d91e5da26ca83f818caf69 (patch) | |
| tree | 6305afbd64eac722c53b3ca2e6a3fd938a11ad12 /python/which/launcher.cpp | |
| parent | 14eb8dc7bee8670e39d1199591d335579601f2ad (diff) | |
| download | UXP-13b342868f51f15200d91e5da26ca83f818caf69.tar UXP-13b342868f51f15200d91e5da26ca83f818caf69.tar.gz UXP-13b342868f51f15200d91e5da26ca83f818caf69.tar.lz UXP-13b342868f51f15200d91e5da26ca83f818caf69.tar.xz UXP-13b342868f51f15200d91e5da26ca83f818caf69.zip | |
Rewrite restoreDimensions to account for mismatched CSS/device pixel sizes.
This resolves the situation where the device pixels per css px does not match the screen DPI.
In that case, the restored width and height would be adjusted if the window width (css px)
would be larger than the screen width (dev pixels). This patch converts everything to css px
before checking if the dimensions fit the screen.
This resolves #411.
Diffstat (limited to 'python/which/launcher.cpp')
0 files changed, 0 insertions, 0 deletions