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

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

Accessor of the tool-type slot of the gdk:device-tool class. The gdk:device-tool-tool-type function gets 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.