diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2020-04-10 10:09:12 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-04-10 10:09:12 +0200 |
commit | 7e93554961a9c098248a7622bda4659d541b8e1b (patch) | |
tree | 04d73056953648f0c60512b5a62868606dc8325c | |
parent | 0cbcb7a6e6549d82ad04a387e3eed54f08e13e22 (diff) | |
parent | 9369b37f1f7aca843182564b0a12ae20b07721b7 (diff) |
Merge pull request #37744 from madmiraal/fix-X11-device-info-precision-loss
Fix loss of precision in X11 device info.
-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; |