Source position: gnomemdi.inc line 65
function gnome_mdi_add_child(
mdi: PGnomeMDI;
child: PGnomeMDIChild
):gint;