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