Options
All
  • Public
  • Public/Protected
  • All
Menu

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

Hierarchy

  • Hover

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.