Source position: gnomemdisession.inc line 5
function gnome_mdi_restore_state(
mdi: PGnomeMDI;
section: Pgchar;
child_create_func: TGnomeMDIChildCreator
):gboolean;