Interface Hover

A hover represents additional information for a symbol or word. Hovers are rendered in a tooltip-like widget.

interface Hover {
    canDecreaseVerbosity?: boolean;
    canIncreaseVerbosity?: boolean;
    contents: IMarkdownString[];
    range?: IRange;
}

Properties

canDecreaseVerbosity?: boolean

Can decrease the verbosity of the hover

canIncreaseVerbosity?: boolean

Can increase the verbosity of the hover

The contents of this hover.

range?: IRange

The range to which this hover applies. When missing, the editor will use the range at the current position or the current position itself.