export interface DecorationOptions {

/**
 * Range to which this decoration is applied. The range must not be empty.
 */
range: Range;

/**
 * A message that should be rendered when hovering over the decoration.
 */
hoverMessage?: MarkedString | MarkedString[];

/**
 * Render options applied to the current decoration. For performance reasons, keep the
 * number of decoration specific options small, and use decoration types wherever possible.
 */
renderOptions?: DecorationInstanceRenderOptions;
}