Source position: gnomemdichild.inc line 37
procedure gnome_mdi_child_set_menu_template(
mdi_child: PGnomeMDIChild;
menu_tmpl: PGnomeUIInfo
);