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

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

    Index

    Constructors

    Properties

    Constructors

    Properties

    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.