Source position: gnomemdi.inc line 69
procedure gnome_mdi_update_child(
mdi: PGnomeMDI;
child: PGnomeMDIChild
);