Header menu logo issie

EditorMsg Type

Possible messages used by editor

Union cases

Union case Description

SetCursor(int, int)

Full Usage: SetCursor(int, int)

Parameters:
    Item1 : int
    Item2 : int

Item1 : int
Item2 : int

SetErrors Interval list

Full Usage: SetErrors Interval list

Parameters:
Item : Interval list

UpdateCode string list -> string list

Full Usage: UpdateCode string list -> string list

Parameters:
    Item : string list -> string list

Item : string list -> string list
Item : CodeEditorModel -> CodeEditorModel

Instance members

Instance member Description

this.IsSetCursor

Full Usage: this.IsSetCursor

Returns: bool
Returns: bool

this.IsSetErrors

Full Usage: this.IsSetErrors

Returns: bool
Returns: bool

this.IsUpdateCode

Full Usage: this.IsUpdateCode

Returns: bool
Returns: bool

this.IsUpdateCodeEditorState

Full Usage: this.IsUpdateCodeEditorState

Returns: bool
Returns: bool

Type something to start searching.