Source position: gnomemdi.inc line 4
type TGnomeMDIMode = (
GNOME_MDI_NOTEBOOK,
GNOME_MDI_TOPLEVEL,
GNOME_MDI_MODAL,
GNOME_MDI_DEFAULT_MODE = 42
);