diff options
author | Peter Hutterer <peter.hutterer@who-t.net> | 2018-12-14 15:28:29 +1000 |
---|---|---|
committer | Carlos Garnacho <carlosg@gnome.org> | 2018-12-18 21:41:49 +0100 |
commit | 38cba6895a5749386954b6de3ac8a6723f4fc5db (patch) | |
tree | 5ed40d80176ac4b3095a99d2f1d2edcc97a63dde /gdk/x11/gdkdevicemanager-xi2.c | |
parent | e95e0458988821ce4d8915c243fa79398515ed27 (diff) | |
download | gtk+-38cba6895a5749386954b6de3ac8a6723f4fc5db.tar.gz |
x11: make the tool lookup dependent on the hw id as well
Tools on the same physical item have the same serial number, so the eraser
and the pen part of a single pen share that serial number. With the current
lookup code, we'll always return whichever tool comes first into proximity.
Change the code to use the hw id in addition to the serial number, this way we
can differ between two tools.
Diffstat (limited to 'gdk/x11/gdkdevicemanager-xi2.c')
-rw-r--r-- | gdk/x11/gdkdevicemanager-xi2.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gdk/x11/gdkdevicemanager-xi2.c b/gdk/x11/gdkdevicemanager-xi2.c index 8c1cc41a70..01d51d3d3a 100644 --- a/gdk/x11/gdkdevicemanager-xi2.c +++ b/gdk/x11/gdkdevicemanager-xi2.c @@ -1096,7 +1096,7 @@ handle_property_change (GdkX11DeviceManagerXI2 *device_manager, device_get_tool_serial_and_id (device, &serial_id, &tool_id)) { seat = gdk_device_get_seat (device); - tool = gdk_seat_get_tool (seat, serial_id); + tool = gdk_seat_get_tool (seat, serial_id, tool_id); if (!tool && serial_id > 0) { |