[ Version ( since = "3.0" ) ]
public void add_device_events (Device device, EventMask events)
Adds the device events in the bitfield events to the event mask for this.
See set_device_events for details.
| this |
a Widget |
| device |
a Device |
| events |
an event mask, see EventMask |