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