Property
GdkDeviceTool:serial
Description [src]
The serial number of the tool.
| Type: | guint64 | 
| Default value | 0 | 
| Getter method | gdk_device_tool_get_serial() | 
The serial number of the tool.
| Type: | guint64 | 
| Default value | 0 | 
| Getter method | gdk_device_tool_get_serial() |