Source position: gnomemdisession.inc line 6
procedure gnome_mdi_save_state(
mdi: PGnomeMDI;
section: Pgchar
);