gdk:event-device (event)

event -- a gdk:event instance
device -- a gdk:device object

Gets or sets the "device" field of an event. If the event contains a "device" field, this function will return it, else it will return nil.

The event must have been allocated by GTK, for instance, by the gdk:event-copy function.