gdk:device-tool-tool-type (object)

object -- a gdk:device-tool object
tool-type -- a value of the gdk:device-tool-type enumeration

The accessor for the tool-type slot of the gdk:device-tool class returns the type of the device tool. This can be used to figure out what sort of pen is being used, such as an airbrush or a pencil.