void gdk_event_set_device ( GdkEvent* event, GdkDevice* device )
Sets the device for
device. The event must
have been allocated by GTK+, for instance, by gdk_event_copy().
Available since: 3.0
The data is owned by the caller of the function.