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

    Interface DecorationOptions

    interface DecorationOptions {
        hoverMessage?: MarkdownString | MarkdownString[];
        range: Range;
        renderOptions?: DecorationInstanceRenderOptions;
    }
    Index

    Properties

    hoverMessage? range renderOptions?

    Properties

    hoverMessage?: MarkdownString | MarkdownString[]
    range: Range
    renderOptions?: DecorationInstanceRenderOptions

    Settings

    Member Visibility

    On This Page

    Properties