From c27bc0ff97c5487f9d545e60dfdbde732fcb87d8 Mon Sep 17 00:00:00 2001 From: David Dossett Date: Tue, 8 Aug 2023 11:07:46 -0700 Subject: [PATCH] Fine tune editor widget backgrounds and border (#189957) Fine tine editor widgets and border --- extensions/theme-defaults/themes/dark_modern.json | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/extensions/theme-defaults/themes/dark_modern.json b/extensions/theme-defaults/themes/dark_modern.json index 4620badb41a..300ae4b05f8 100644 --- a/extensions/theme-defaults/themes/dark_modern.json +++ b/extensions/theme-defaults/themes/dark_modern.json @@ -39,12 +39,12 @@ "editorLineNumber.activeForeground": "#CCCCCC", "editorLineNumber.foreground": "#6E7681", "editorOverviewRuler.border": "#010409", - "editorWidget.background": "#2B2B2B", + "editorWidget.background": "#202020", "errorForeground": "#F85149", "focusBorder": "#0078D4", "foreground": "#CCCCCC", "icon.foreground": "#CCCCCC", - "input.background": "#2A2A2A", + "input.background": "#313131", "input.border": "#3C3C3C", "input.foreground": "#CCCCCC", "input.placeholderForeground": "#9D9D9D", @@ -69,7 +69,7 @@ "peekViewResult.matchHighlightBackground": "#BB800966", "pickerGroup.border": "#3C3C3C", "progressBar.background": "#0078D4", - "quickInput.background": "#2A2A2A", + "quickInput.background": "#222222", "quickInput.foreground": "#CCCCCC", "settings.dropdownBackground": "#313131", "settings.dropdownBorder": "#3C3C3C", @@ -119,6 +119,6 @@ "titleBar.inactiveForeground": "#9D9D9D", "welcomePage.tileBackground": "#2B2B2B", "welcomePage.progress.foreground": "#0078D4", - "widget.border": "#333333", + "widget.border": "#313131", }, }