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

    Interface EditInput

    interface EditInput {
        file_path: string;
        new_string: string;
        old_string: string;
    }
    Index

    Properties

    file_path new_string old_string

    Properties

    file_path: string
    new_string: string
    old_string: string

    Settings

    Member Visibility

    On This Page

    Properties