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.
The current device tool, or null