Theia API Documentation v1.70.0
    Preparing search index...
    interface TextEditorDiffInformationDto {
        changes: readonly {
            kind: number;
            modified: { endLineNumberExclusive: number; startLineNumber: number };
            original: { endLineNumberExclusive: number; startLineNumber: number };
        }[];
        documentVersion: number;
        isStale: boolean;
        modified: UriComponents;
        original: undefined
        | UriComponents;
    }
    Index

    Properties

    changes: readonly {
        kind: number;
        modified: { endLineNumberExclusive: number; startLineNumber: number };
        original: { endLineNumberExclusive: number; startLineNumber: number };
    }[]
    documentVersion: number
    isStale: boolean
    modified: UriComponents
    original: undefined | UriComponents