Source position: gnomemdichild.inc line 35
procedure gnome_mdi_child_remove_view(
mdi_child: PGnomeMDIChild;
view: PGtkWidget
);