Property
GdkDeviceTool:hardware-id
Description [src]
The hardware ID of the tool.
          Type:guint64
| Default value | 0 | 
| Getter method | gdk_device_tool_get_hardware_id() | 
The hardware ID of the tool.
          Type:guint64
| Default value | 0 | 
| Getter method | gdk_device_tool_get_hardware_id() |