Theia API Documentation v1.65.0
    Preparing search index...
    interface MultiEditInput {
        edits: { new_string: string; old_string: string }[];
        file_path: string;
    }
    Index

    Properties

    Properties

    edits: { new_string: string; old_string: string }[]
    file_path: string