Use this module to configure the editor.
The default
value is a basic configuration
which you can modify like this:
config =
{ default | lines = 30 }
{ wrapParams : WrapParams
, showInfoPanel : Basics.Bool
, wrapOption : WrapOption
, width : Basics.Float
, height : Basics.Float
, lineHeight : Basics.Float
, fontProportion : Basics.Float
, lineHeightFactor : Basics.Float
}
{ maximumWidth : Basics.Int
, optimalWidth : Basics.Int
, stringWidth : String -> Basics.Int
}
default : Config
setMaximumWrapWidth : Basics.Int -> Config -> Config
setOptimumWrapWidth : Basics.Int -> Config -> Config
setWrapOption : WrapOption -> Config -> Config