Header menu logo issie

CodeEditorModel Type

Elmish Model type for a rich text code editor

Record fields

Record Field Description

CursorPos

Full Usage: CursorPos

Field type: XYPos

The current cursor position. Cursor displays between this character and the previous one. Characters are inserted at this position.

Field type: XYPos

Errors

Full Usage: Errors

Field type: Interval list

The errored code positions

Field type: Interval list

Lines

Full Usage: Lines

Field type: string list

the characters in the code editor as a list of lines

Field type: string list

Type something to start searching.