Source position: gnomemdi.inc line 64
procedure gnome_mdi_set_active_view(
mdi: PGnomeMDI;
view: PGtkWidget
);