[ Version ( since = "3.0" ) ]
public EventMask get_device_events (Device device)
Returns the events mask for the widget corresponding to an specific device.
These are the events that the widget will receive when device operates on it.
| this |
a Widget |
| device |
a Device |
|
device event mask for this |