EditorMsg Type
Possible messages used by editor
Union cases
| Union case | Description |
Full Usage:
SetCursor(int, int)
Parameters:
int
Item2 : int
|
|
|
|
Full Usage:
UpdateCode string list -> string list
Parameters:
string list -> string list
|
|
|
Instance members
| Instance member | Description |
Full Usage:
this.IsSetCursor
Returns: bool
|
|
Full Usage:
this.IsSetErrors
Returns: bool
|
|
Full Usage:
this.IsUpdateCode
Returns: bool
|
|
Full Usage:
this.IsUpdateCodeEditorState
Returns: bool
|
|