void gdk_event_set_device_tool ( GdkEvent* event, GdkDeviceTool* tool )
Sets the device tool for this event, should be rarely used.
Available since: 3.22
Tool to set on the event, or
The argument can be
The data is owned by the caller of the function.