Source position: gnomemdi.inc line 76
function gnome_mdi_get_child_from_view(
view: PGtkWidget
):PGnomeMDIChild;