Event.setDeviceTool

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

class Event
void
setDeviceTool

Parameters

tool gdk.device_tool.DeviceTool

tool to set on the event, or null