Merge pull request #37744 from madmiraal/fix-X11-device-info-precision-loss

Fix loss of precision in X11 device info.
This commit is contained in:
Rémi Verschelde 2020-04-10 10:09:12 +02:00 committed by GitHub
commit 7e93554961
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -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;