Although scarcely used, this information may be useful to retrieve from the windowing systems that offer this information.
https://bugzilla.gnome.org/show_bug.cgi?id=770026
40f75e7 gdk: Add a getter for the hardware id of a GdkDeviceTool
gdk/gdkdevicetool.c | 39 +++++++++++++++++++++++++++++++++++++++
gdk/gdkdevicetool.h | 3 +++
2 files changed, 42 insertions(+)
Upstream: git.gnome.org