gdkInputSetExtensionEvents: gdkInputSetExtensionEvents
Description
Turns extension events on or off for a particular window,
and specifies the event mask for extension events.Usage
gdkInputSetExtensionEvents(object, mask, mode)
Arguments
mask
[integer] the event mask