get_device_tool


Description:

[ Version ( since = "3.22" ) ]
public unowned DeviceTool get_device_tool ()

If the event was generated by a device that supports different tools (eg.

a tablet), this function will return a DeviceTool representing the tool that caused the event. Otherwise, null will be returned.

Note: the DeviceTool<!-- -->s will be constant during the application lifetime, if settings must be stored persistently across runs, see get_serial

Parameters:

this

a Event

Returns:

The current device tool, or null