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

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

    Hierarchy (View Summary)

    Index

    Constructors

    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?: Range

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