Gtk.Widget.get_extension_events Reference Manual
Gtk.Widget.get_extension_events:
Description:
public
Gdk.ExtensionMode
get_extension_events ()
created by
valadoc