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 =

{ lines : Int

, wrapParams : WrapParams

, showInfoPanel : Bool

, wrapOption : WrapOption

}

= DoWrap

| DontWrap

type alias WrapParams =

{ maximumWidth : Int

, optimalWidth : Int

, stringWidth : String -> Int

}

default : Config

setMaximumWrapWidth : Int -> Config -> Config

setOptimumWrapWidth : Int -> Config -> Config

Modules