IDE.Pane.Preferences
data
IDEPrefs
data
PrefsState
readPrefs
writePrefs
defaultPrefs
prefsDescription
getPrefs