Gets the hardware ID of this tool, or 0 if it's 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 Device.toolGetSerial).
This is a more concrete (and device specific) method to identify
a gdk.DeviceTool than Device.toolGetToolType, as a tablet
may support multiple devices with the same GdkDeviceToolType,
but having different hardware identificators.
Gets the hardware ID of this tool, or 0 if it's 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 Device.toolGetSerial).
This is a more concrete (and device specific) method to identify a gdk.DeviceTool than Device.toolGetToolType, as a tablet may support multiple devices with the same GdkDeviceToolType, but having different hardware identificators.