set_device_tool

Description:

[ Version ( since = "3.22" ) ]
public void set_device_tool (DeviceTool? tool)

Sets the device tool for this event, should be rarely used.

this	a Event
tool	tool to set on the event, or null