IDE.Pane.Preferences

data IDEPrefs

data PrefsState

readPrefs

writePrefs

defaultPrefs

prefsDescription

getPrefs