Options
All
  • Public
  • Public/Protected
  • All
Menu

Interface DecorationOptions

Represents options for a specific decoration in a decoration set.

Hierarchy

  • DecorationOptions

Index

Properties

Optional hoverMessage

hoverMessage: string | MarkdownString | { language: string; value: string } | MarkedString[]

A message that should be rendered when hovering over the decoration.

range

range: Range

Range to which this decoration is applied. The range must not be empty.

Optional renderOptions

Render options applied to the current decoration. For performance reasons, keep the number of decoration specific options small, and use decoration types wherever possible.