diff options
| author | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2021-02-12 10:50:02 +0100 |
|---|---|---|
| committer | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2021-02-12 12:01:44 +0100 |
| commit | 6cff589b5bd483b563fe465bde74ca94902aab41 (patch) | |
| tree | af9eec5b24ba8c299d9d665f1a9934d2ddde77c3 /thirdparty/bullet | |
| parent | e9a25b8552150393db9632fff23c0f60403b987a (diff) | |
[HTML5] Detect screen scale and DPI.
`OS.get_screen_scale` will now return the `window.devicePixelRatio`
value, `OS.get_screen_dpi` uses CSS media queries to find approximate
DPI value for the current display.
`OS.get_screen_size` also return the actual screen size (not the CSS
pixel size).
Diffstat (limited to 'thirdparty/bullet')
0 files changed, 0 insertions, 0 deletions