From 52f8bfaf5b37ca79a7ad9d0c3eec8b022c72a2a4 Mon Sep 17 00:00:00 2001 From: David Dossett Date: Wed, 24 Aug 2022 16:00:34 -0700 Subject: [PATCH] Inherit editor inactive selection colors in terminal (Fix #158899) (#158950) * Inherit editor inactive selection colors in terminal (Fix #158899) * Remove unused import * Add terminal inactive selection colors to default dark and light themes * Update monokai terminal inactive selection * Merge branch 'main' into ddossett/thoughtful-butterfly --- extensions/theme-defaults/themes/dark_vs.json | 3 ++- extensions/theme-defaults/themes/light_vs.json | 3 ++- .../themes/dimmed-monokai-color-theme.json | 3 ++- 3 files changed, 6 insertions(+), 3 deletions(-) diff --git a/extensions/theme-defaults/themes/dark_vs.json b/extensions/theme-defaults/themes/dark_vs.json index 71b5a62a274..7b3c8d5e6fd 100644 --- a/extensions/theme-defaults/themes/dark_vs.json +++ b/extensions/theme-defaults/themes/dark_vs.json @@ -20,7 +20,8 @@ "sideBarSectionHeader.background": "#0000", "sideBarSectionHeader.border": "#ccc3", "tab.lastPinnedBorder": "#ccc3", - "list.activeSelectionIconForeground": "#FFF" + "list.activeSelectionIconForeground": "#FFF", + "terminal.inactiveSelectionBackground": "#3A3D41", }, "tokenColors": [ { diff --git a/extensions/theme-defaults/themes/light_vs.json b/extensions/theme-defaults/themes/light_vs.json index d88e6ff90d6..7a80ebf00e0 100644 --- a/extensions/theme-defaults/themes/light_vs.json +++ b/extensions/theme-defaults/themes/light_vs.json @@ -26,7 +26,8 @@ "notebook.selectedCellBackground": "#c8ddf150", "statusBarItem.errorBackground": "#c72e0f", "list.activeSelectionIconForeground": "#FFF", - "list.focusAndSelectionOutline": "#90C2F9" + "list.focusAndSelectionOutline": "#90C2F9", + "terminal.inactiveSelectionBackground": "#E5EBF1", }, "tokenColors": [ { diff --git a/extensions/theme-monokai-dimmed/themes/dimmed-monokai-color-theme.json b/extensions/theme-monokai-dimmed/themes/dimmed-monokai-color-theme.json index 27b9277f724..ea84bededd5 100644 --- a/extensions/theme-monokai-dimmed/themes/dimmed-monokai-color-theme.json +++ b/extensions/theme-monokai-dimmed/themes/dimmed-monokai-color-theme.json @@ -59,7 +59,8 @@ "terminal.ansiBrightBlue": "#819aff", // hue shifted #AE81FF "terminal.ansiBrightMagenta": "#AE81FF", "terminal.ansiBrightCyan": "#66D9EF", - "terminal.ansiBrightWhite": "#f8f8f2" + "terminal.ansiBrightWhite": "#f8f8f2", + "terminal.inactiveSelectionBackground": "#676b7140" }, "tokenColors": [ {