[ 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
| this |
a Event |
|
The current device tool, or null |