The text document that is open in this editor. The document remains the same for the entire lifetime of this editor.
The primary selection in this text editor. This is equivalent to CodeEditor.selections[0] || null.
The selections in this text editor. A text editor has zero or more selections. The primary selection ({@link CodeEditor#selection}), if any selections exist, is always at index 0.
An event that is fired when the selections in this text editor change. The primary selection ({@link CodeEditor#selection}), if any selections exist, is always at index 0 of the emitted array.
The type tag for this kind of ViewComponent.
Add a set of decorations to this editor. If a set of decorations already exists with the given TextDocumentDecorationType, they will be replaced.
Generated using TypeDoc
A text editor for code files (as opposed to a rich text editor for documents or other kinds of file format editors).