Gtk.MenuShell.ignore_leave Reference Manual
Gtk.MenuShell.ignore_leave:
Description:
public
uint
ignore_leave
created by
valadoc