From 65a18e818afc1df333537b70ad0aa1c596b26771 Mon Sep 17 00:00:00 2001 From: equinusocio Date: Sat, 4 Nov 2017 21:10:50 +0100 Subject: [PATCH] fix: Minor UI fixes --- src/themes/theme-template-color-theme.json | 1 + 1 file changed, 1 insertion(+) diff --git a/src/themes/theme-template-color-theme.json b/src/themes/theme-template-color-theme.json index 18b2e96..ece76e2 100644 --- a/src/themes/theme-template-color-theme.json +++ b/src/themes/theme-template-color-theme.json @@ -712,6 +712,7 @@ "editor.lineHighlightBackground": "{{variant.scheme.lineHighlight}}50", "editor.selectionBackground": "{{variant.scheme.selection}}", "editor.selectionHighlightBackground": "{{variant.scheme.caret}}20", + "editorOverviewRuler.border": "{{variant.scheme.background}}", "editorHoverWidget.background": "{{variant.scheme.background}}", "editorHoverWidget.border": "{{variant.scheme.inputBorder}}", "editorIndentGuide.background": "{{variant.scheme.guides}}",