add_device_events


Description:

[ 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.

Parameters:

this

a Widget

device

a Device

events

an event mask, see EventMask