Source position: gtkmenushell.inc line 74
procedure set_ignore_leave(
var a: TGtkMenuShell;
__ignore_leave: guint
);