Source position: gnomemdi.inc line 63
function gnome_mdi_get_active_view(
mdi: PGnomeMDI
):PGtkWidget;