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 |