Property
GdkDeviceTool:tool-type
since: 4.0
Description [src]
The type of the tool.
| Type: | GdkDeviceToolType |
| Available since: | 4.0 |
| Default value | GDK_DEVICE_TOOL_TYPE_UNKNOWN |
| Getter method | gdk_device_tool_get_tool_type() |
since: 4.0
The type of the tool.
| Type: | GdkDeviceToolType |
| Available since: | 4.0 |
| Default value | GDK_DEVICE_TOOL_TYPE_UNKNOWN |
| Getter method | gdk_device_tool_get_tool_type() |