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

    Interface ReplaceTextParams

    interface ReplaceTextParams {
        replaceOperations: ReplaceOperation[];
        source: string;
    }
    Index

    Properties

    replaceOperations source

    Properties

    replaceOperations: ReplaceOperation[]

    the replace operations

    source: string

    the source to edit

    Settings

    Member Visibility

    On This Page

    Properties