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

    Interface ReplaceOperation

    interface ReplaceOperation {
        range: Range;
        text: string;
    }
    Index

    Properties

    range text

    Properties

    range: Range

    the position that shall be replaced

    text

    text: string

    the text to replace with

    Settings

    Member Visibility

    On This Page

    Properties