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