Source position: gnomemdi.inc line 66
function gnome_mdi_remove_child(
mdi: PGnomeMDI;
child: PGnomeMDIChild;
force: gint
):gint;