Source position: gnomemdi.inc line 77
function gnome_mdi_get_view_from_window(
mdi: PGnomeMDI;
app: PGnomeApp
):PGtkWidget;