gtk:widget-add-device-events (widget device events)

widget -- a gtk:widget object
device -- a gdk:device object
events -- a gdk:event-mask event mask

Adds the device events in the events bitfield to the event mask for the widget. See the gtk:widget-device-events function for details.