identifiers of applied decorations, which can be removed in next call.
Execute edits on the editor.
The text editor should be revealed, otherwise it won't receive the focus.
Gets the encoding of the input if known.
Gets all the decorations for the lines between startLineNumber and endLineNumber as an array.
The start line number.
The end line number.
An array with the decorations.
Rerender the editor.
Replaces the text of source given in ReplaceTextParams.
Resize the editor to fit its node.
Sets the encoding for the input for saving.
Applies given new decorations, and removes old decorations identified by ids.