gdk:event-device-tool (event)

event -- a gdk:event instance
tool -- a gdk:device-tool object

Gets or sets the device tool representing the tool that caused the event. If the event was generated by a device that supports different tools, for example a tablet, this function will return a gdk:device-tool object representing the tool that caused the event. Otherwise, nil will be returned. The gdk:device-tool object will be constant during the application lifetime, if settings must be stored persistently across runs, see the gdk:device-tool-serial function.