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

    Interface MultiEditInput

    interface MultiEditInput {
        edits: { new_string: string; old_string: string }[];
        file_path: string;
    }
    Index

    Properties

    edits file_path

    Properties

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

    Settings

    Member Visibility

    On This Page

    Properties