Source position: gtkmenushell.inc line 78
procedure set_ignore_enter(
var a: TGtkMenuShell;
__ignore_enter: guint
);