DeviceTool.getHardwareId

Gets the hardware ID of this tool, or 0 if it's not known.

When non-zero, the identifier 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 [gdk.device_tool.DeviceTool.getSerial]).

This is a more concrete (and device specific) method to identify a [gdk.device_tool.DeviceTool] than [gdk.device_tool.DeviceTool.getToolType], as a tablet may support multiple devices with the same [gdk.types.DeviceToolType], but different hardware identifiers.