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