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




2022 vala-language.org