Settings

Documentation

getShowHints :: IO Bool

getShowControls :: IO Bool

getUseEscapeCode :: IO Bool

getMaxRecents :: IO Int

getSettings :: IO Settings

parseSettings :: String -> Maybe Settings

getSettingsFile :: IO FilePath

defaultSettings :: Settings

setSettings :: Settings -> IO ()

settingsState :: IO State

mkForm :: Settings -> Form Settings e Name

yesnoField :: (Ord n, Show n) => Lens' s Bool -> n -> Text -> s -> FormFieldState s e n

renderYesno :: Text -> n -> Bool -> Bool -> Widget n

naturalNumberField :: (Ord n, Show n) => Lens' s Int -> n -> Text -> s -> FormFieldState s e n

renderNaturalNumber :: Text -> n -> Bool -> Int -> Widget n