OptionalshowOptionalshowWhether to show the top border of the overview ruler, which uses the ITheme.overviewRulerBorder color.
OptionalwidthWhen defined, renders decorations in the overview ruler to the right of the terminal. This must be set in order to see the overview ruler.
Whether to show the bottom border of the overview ruler, which uses the ITheme.overviewRulerBorder color.