get_device_events
Description:
[
Version ( since =
"3.0" ) ]
public EventMask get_device_events (
Device device)
Returns the event mask for this corresponding to an specific device.
Parameters:
| this |
a Window.
|
| device |
a Device.
|
Returns:
|
device event mask for this
|