Source position: gnomemdi.inc line 67
function gnome_mdi_remove_all(
mdi: PGnomeMDI;
force: gint
):gint;