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

    Interface TextEditorDiffInformationChangeEvent

    interface TextEditorDiffInformationChangeEvent {
        diffInformation: undefined | TextEditorDiffInformation[];
        textEditor: TextEditor;
    }
    Index

    Properties

    diffInformation textEditor

    Properties

    diffInformation: undefined | TextEditorDiffInformation[]
    textEditor: TextEditor

    Settings

    Member Visibility

    On This Page

    Properties