Header menu logo issie

LineData Type

Type of data passed to the line render function from the main render function. This is a subset of CodeEditorModel data and derived from this.

Record fields

Record Field Description

CursorX

Full Usage: CursorX

Field type: int option

the X coordinate of the cursor in this line, in characters, or None if not on this line.

Field type: int option

Errors

Full Usage: Errors

Field type: Interval list

the errors for this line - a list of intervals. Currently all errors are shown. and the line render function filters for errors on the current line.

Field type: Interval list

LineIndex

Full Usage: LineIndex

Field type: int

The line index (Y coord). Indices start from 0 and therefore are 1 less than the displayed line number.

Field type: int

LineText

Full Usage: LineText

Field type: string

the text of the line - before highlighting. Highlighting is done in the render function.

Field type: string

Type something to start searching.