add_device_events
Description:
Adds the device events in the bitfield events to the event mask for this.
See set_device_events for details.
Parameters:
| this |
a Widget |
| device |
a Device |
| events |
an event mask, see EventMask |