Source position: gnomemdi.inc line 78
function gnome_mdi_get_menubar_info(
app: PGnomeApp
):PGnomeUIInfo;