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.

Parameters:

this

a Event
tool

tool to set on the event, or null