jxxcarlson / scripta-compiler / Render.Settings

The Settings record holds information needed to render a parsed document. For example, the renderer needs to know the width of the window in which the document is to be displayed. This is given by the .width field.


type Display
    = DefaultDisplay
    | PhoneDisplay


type alias Settings =
{ paragraphSpacing : Basics.Int
, selectedId : String
, display : Display
, longEquationLimit : Basics.Float
, selectedSlug : Maybe String
, showErrorMessages : Basics.Bool
, showTOC : Basics.Bool
, titleSize : Basics.Int
, width : Basics.Int
, backgroundColor : Element.Color
, titlePrefix : String
, isStandaloneDocument : Basics.Bool
, codeColor : Element.Color
, leftIndent : Basics.Int
, leftIndentation : Basics.Int
, leftRightIndentation : Basics.Int
, wideLeftIndentation : Basics.Int
, windowWidthScale : Basics.Float
, maxHeadingFontSize : Basics.Float
, redColor : Element.Color
, topMarginForChildren : Basics.Int 
}

A record of nformation needed to render a document. For instance, thewidthfield defines the width of the page in which the document is e

defaultSettings : Settings

makeSettings : String -> Maybe String -> Basics.Float -> Basics.Int -> Settings