get_hardware_id


Description:

public uint64 get_hardware_id ()

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 [method@Gdk.DeviceTool.get_serial]).

This is a more concrete (and device specific) method to identify a `GdkDeviceTool` than [method@Gdk.DeviceTool.get_tool_type], as a tablet may support multiple devices with the same `GdkDeviceToolType`, but different hardware identifiers.

Parameters:

this

a `GdkDeviceTool`

Returns:

The hardware identifier of this tool.