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

    Interface DeltaDecorationParams

    interface DeltaDecorationParams {
        newDecorations: EditorDecoration[];
        oldDecorations: string[];
    }
    Index

    Properties

    newDecorations oldDecorations

    Properties

    newDecorations: EditorDecoration[]
    oldDecorations: string[]

    Settings

    Member Visibility

    On This Page

    Properties