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

    Interface TextEditOperation

    interface TextEditOperation {
        forceMoveMarkers: boolean;
        range: Range;
        text?: string;
    }
    Index

    Properties

    forceMoveMarkers range text?

    Properties

    forceMoveMarkers: boolean
    range: Range

    Optionaltext

    text?: string

    Settings

    Member Visibility

    On This Page

    Properties