get_device_tool


Description:

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 DeviceTools 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