Source position: gnomemdi.inc line 58
procedure gnome_mdi_set_child_menu_path(
mdi: PGnomeMDI;
path: Pgchar
);