Editor.Config

Use this module to configure the editor. The default value is a basic configuration which you can modify like this:

config =
    { default | lines = 30 }

type alias Config =

{ wrapParams : WrapParams

, showInfoPanel : Bool

, wrapOption : WrapOption

, width : Float

, height : Float

, lineHeight : Float

, fontProportion : Float

, lineHeightFactor : Float

}

= DoWrap

| DontWrap

type alias WrapParams =

{ maximumWidth : Int

, optimalWidth : Int

, stringWidth : String -> Int

}

default : Config

setMaximumWrapWidth : Int -> Config -> Config

setOptimumWrapWidth : Int -> Config -> Config

Modules