| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
IDE.Pane.Preferences
Description
Module for saving, restoring and editing preferences
- data IDEPrefs = IDEPrefs {}
- data PrefsState
- readPrefs :: FilePath -> IO Prefs
- writePrefs :: FilePath -> Prefs -> IO ()
- defaultPrefs :: Prefs
- prefsDescription :: FilePath -> [PackageIdentifier] -> FieldDescriptionPP Prefs IDEM
- getPrefs :: Maybe PanePath -> IDEM IDEPrefs
Documentation
Represents the Preferences pane
Instances
data PrefsState Source
The additional state used when recovering the pane
writePrefs :: FilePath -> Prefs -> IO () Source
Write the preference file
The default preferences
prefsDescription :: FilePath -> [PackageIdentifier] -> FieldDescriptionPP Prefs IDEM Source
Description of the preference options