RendererTheme
Properties
Section titled “Properties”background
Section titled “background”background:
RgbColor
cursor
Section titled “cursor”cursor:
RgbColor
cursorText?
Section titled “cursorText?”
optionalcursorText?:RgbColor
foreground
Section titled “foreground”foreground:
RgbColor
minimumContrast
Section titled “minimumContrast”minimumContrast:
number
selectionBackground
Section titled “selectionBackground”selectionBackground:
RgbColor
selectionForeground
Section titled “selectionForeground”selectionForeground:
RgbColor