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