Source position: libgnomeui.pp line 37
type TGnomePreferencesType = (
GNOME_PREFERENCES_NEVER,
GNOME_PREFERENCES_USER,
GNOME_PREFERENCES_ALWAYS
);