This module defines the core types used for configuring the Scripta compiler.
The main type is CompilerParameters, which controls how XMarkdown source text
is compiled and rendered.
For simple use cases, start with defaultCompilerParameters and override the fields you need:
{ defaultCompilerParameters
| docWidth = 600
, editCount = model.editCount
}How to handle a MarkupMsg.
Messages from rendered markup for synchronization with the editor. Used for rendered-to-source syncing (e.g., clicking rendered text highlights source).
A source span to highlight in the editor.
mode = "chars": start/end are document character offsets (end exclusive).
Used for inline (phrase) clicks.mode = "lines": start/end are 1-indexed source lines, both inclusive.
Used for block clicks.tick is a monotonic counter so repeat clicks on the same span re-trigger the editor.Represents the available themes.