Source position: gnomemdi.inc line 55
procedure gnome_mdi_set_mode(
mdi: PGnomeMDI;
mode: TGnomeMDIMode
);