Theia API Documentation v1.65.0
    Preparing search index...
    interface MergeEditorContents {
        base: string;
        input1: string;
        input2: string;
        languageId?: string;
        result: string;
    }
    Index

    Properties

    base: string
    input1: string
    input2: string
    languageId?: string
    result: string