Options
All
  • Public
  • Public/Protected
  • All
Menu

Interface DecorationRenderOptions

Hierarchy

Index

Properties

Optional after

Optional backgroundColor

backgroundColor: string | ThemeColor

Optional before

Optional border

border: undefined | string

Optional borderColor

borderColor: string | ThemeColor

Optional borderRadius

borderRadius: undefined | string

Optional borderSpacing

borderSpacing: undefined | string

Optional borderStyle

borderStyle: undefined | string

Optional borderWidth

borderWidth: undefined | string

Optional color

color: string | ThemeColor

Optional cursor

cursor: undefined | string

Optional dark

Optional fontStyle

fontStyle: undefined | string

Optional fontWeight

fontWeight: undefined | string

Optional gutterIconPath

gutterIconPath: UriComponents

Optional gutterIconSize

gutterIconSize: undefined | string

Optional isWholeLine

isWholeLine: undefined | false | true

Optional letterSpacing

letterSpacing: undefined | string

Optional light

Optional opacity

opacity: undefined | string

Optional outline

outline: undefined | string

Optional outlineColor

outlineColor: string | ThemeColor

Optional outlineStyle

outlineStyle: undefined | string

Optional outlineWidth

outlineWidth: undefined | string

Optional overviewRulerColor

overviewRulerColor: string | ThemeColor

Optional overviewRulerLane

overviewRulerLane: OverviewRulerLane

Optional rangeBehavior

rangeBehavior: TrackedRangeStickiness

Optional textDecoration

textDecoration: undefined | string