Gtk.Widget.set_extension_events Reference Manual
Gtk.Widget.set_extension_events:
Description:
public
void
set_extension_events (
Gdk.ExtensionMode
mode)
created by
valadoc