Source position: gtkmenushell.inc line 76
procedure set_menu_flag(
var a: TGtkMenuShell;
__menu_flag: guint
);