DeviceTool.getToolType

Gets the #GdkDeviceToolType of the tool.

Returns

The physical type for this tool. This can be used to figure out what

sort of pen is being used, such as an airbrush or a pencil.