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