Event.setDeviceTool

void setDeviceTool(gdk.device_tool.DeviceTool tool = null)

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

Parameters

tooltool to set on the event, or null