API Version: 4.0
Library Version: 4.1.2
tool-type: Gdk.DeviceToolType
The type of the tool.
gdk_device_tool_get_tool_type