Applies given new decorations, and removes old decorations identified by ids.
identifiers of applied decorations, which can be removed in next call.
Dispose this object.
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.
Return an underlying resource URI.
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.
Creates a new URI to which this navigatable should moved based on the given target resource URI.