Source position: gnomemdi.inc line 80
function gnome_mdi_get_child_menu_info(
app: PGnomeApp
):PGnomeUIInfo;