Options
All
  • Public
  • Public/Protected
  • All
Menu

Interface DecorationOverviewRulerOptions

Hierarchy

Index

Properties

color: undefined | string | { id: string }

color of the decoration in the overview ruler. use rgba values to play well with other decorations.

darkColor?: string | { id: string }

The color to use in dark themes. Will be favored over color except in light themes.

position in the overview ruler.