Source position: gnomemdi.inc line 70
function gnome_mdi_get_active_child(
mdi: PGnomeMDI
):PGnomeMDIChild;