diff options
| author | Marcel Admiraal <madmiraal@users.noreply.github.com> | 2020-04-10 07:40:14 +0100 |
|---|---|---|
| committer | Marcel Admiraal <madmiraal@users.noreply.github.com> | 2020-04-10 07:40:14 +0100 |
| commit | 9369b37f1f7aca843182564b0a12ae20b07721b7 (patch) | |
| tree | 88cbbd57977021ecd5b2a72f3c80db7f803379c9 /platform/linuxbsd | |
| parent | 74d432117239d07d497bea5368600acee5ef5af4 (diff) | |
Fix loss of precision in X11 device info.
Diffstat (limited to 'platform/linuxbsd')
| -rw-r--r-- | platform/linuxbsd/display_server_x11.cpp | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/platform/linuxbsd/display_server_x11.cpp b/platform/linuxbsd/display_server_x11.cpp index 47497eb95f..6049dbf4d6 100644 --- a/platform/linuxbsd/display_server_x11.cpp +++ b/platform/linuxbsd/display_server_x11.cpp @@ -254,10 +254,10 @@ bool DisplayServerX11::_refresh_device_info() { bool absolute_mode = false; int resolution_x = 0; int resolution_y = 0; - int range_min_x = 0; - int range_min_y = 0; - int range_max_x = 0; - int range_max_y = 0; + double range_min_x = 0; + double range_min_y = 0; + double range_max_x = 0; + double range_max_y = 0; int pressure_resolution = 0; int tilt_resolution_x = 0; int tilt_resolution_y = 0; |