get_device_tool
Description:
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 |