Theia API Documentation v1.65.0
    Preparing search index...

    Interface EditorsAndDocumentsDelta

    interface EditorsAndDocumentsDelta {
        addedDocuments?: ModelAddedData[];
        addedEditors?: TextEditorAddData[];
        newActiveEditor?: null | string;
        removedDocuments?: UriComponents[];
        removedEditors?: string[];
    }
    Index

    Properties

    addedDocuments? addedEditors? newActiveEditor? removedDocuments? removedEditors?

    Properties

    addedDocuments?: ModelAddedData[]
    addedEditors?: TextEditorAddData[]
    newActiveEditor?: null | string

    undefined means no changes null means no active string means id of active

    removedDocuments?: UriComponents[]
    removedEditors?: string[]

    Settings

    Member Visibility

    On This Page

    Properties