Creates a new hover object.
The contents of the hover.
Optionalrange: RangeThe range to which the hover applies.
OptionalcanIncreaseVerbosity: booleanOptionalcanDecreaseVerbosity: booleanOptionalcanCan decrease the verbosity of the hover
OptionalcanCan increase the verbosity of the hover
The contents of this hover.
OptionalrangeThe range to which this hover applies. When missing, the editor will use the range at the current position or the current position itself.
A hover represents additional information for a symbol or word. Hovers are rendered in a tooltip-like widget.