DeviceTool.getToolType

Gets the #GdkDeviceToolType of the tool.

Return: 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.