Event.getDeviceTool

gdk.device_tool.DeviceTool getDeviceTool()

If the event was generated by a device that supports different tools (eg. a tablet), this function will return a #GdkDeviceTool representing the tool that caused the event. Otherwise, null will be returned.

Note

the #GdkDeviceTool<!-- -->s will be constant during

the application lifetime, if settings must be stored persistently across runs, see [gdk.device_tool.DeviceTool.getSerial]

Returns

The current device tool, or null