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

Hierarchy

  • Hover

Index

Properties

Properties

contents

contents: MarkedString[]

The contents of this hover.

range

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.