From b4ab045444fe118d9bf49370e4bac5be1aeafebe Mon Sep 17 00:00:00 2001 From: Marcel Admiraal Date: Fri, 10 Apr 2020 07:40:14 +0100 Subject: [PATCH] Fix loss of precision in X11 device info. (cherry picked from commit 9369b37f1f7aca843182564b0a12ae20b07721b7) --- platform/x11/os_x11.cpp | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/platform/x11/os_x11.cpp b/platform/x11/os_x11.cpp index 229efffe9fc..26130ceae11 100644 --- a/platform/x11/os_x11.cpp +++ b/platform/x11/os_x11.cpp @@ -664,10 +664,10 @@ bool OS_X11::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;