-
Carlos Garnacho authored
This property contains 5 integers, of which the last 2 respectively contain the tool serial number and tool ID. We were only extracting the first so far, but GdkDeviceTool also has API getters for the latter, which remained 0. https://bugzilla.gnome.org/show_bug.cgi?id=786400
136f43e3