Device.gdkInputSetExtensionEvents

Turns extension events on or off for a particular window, and specifies the event mask for extension events.

class Device
static
void
gdkInputSetExtensionEvents

Parameters

window Window

a GdkWindow.

mask int

the event mask

mode GdkExtensionMode

the type of extension events that are desired.

Meta