Source position: gnomemdi.inc line 75
function gnome_mdi_get_app_from_view(
view: PGtkWidget
):PGnomeApp;