Theia API Documentation v1.65.0
    Preparing search index...
    interface TextEditorAddData {
        documentUri: UriComponents;
        editorPosition?: EditorPosition;
        id: string;
        options: TextEditorConfiguration;
        selections: Selection[];
        visibleRanges: Range[];
    }
    Index

    Properties

    documentUri: UriComponents
    editorPosition?: EditorPosition
    id: string
    selections: Selection[]
    visibleRanges: Range[]