Source position: gnomemdi.inc line 62
function gnome_mdi_remove_view(
mdi: PGnomeMDI;
view: PGtkWidget;
force: gint
):gint;