gdk:device-tool-hardware-id (object)

object -- a gdk:device-tool object
hardware-id -- an unsigned integer for the hardware identificator of the device tool

The accessor for the hardware-id slot of the gdk:device-tool class gets the hardware ID of the device tool, or 0 if it is not known. When non-zero, the identificator is unique for the given tool model, meaning that two identical tools will share the same hardware ID, but will have different serial numbers. See the gdk:device-tool-serial function.

This is a more concrete and device specific method to identify a device tool than the gdk:device-tool-tool-type function, as a tablet may support multiple devices with the same gdk:device-tool-type value, but having different hardware identificators.