development/vscode
development/vscode
1
0
Fork 0
mirror of https://github.com/Microsoft/vscode synced 2024-08-27 04:49:35 +00:00
Code Issues Packages Projects Releases Wiki Activity

Inherit editor inactive selection colors in terminal (Fix #158899) (#158950)

Browse source 
* 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
This commit is contained in:
David Dossett 2022-08-24 16:00:34 -07:00 committed by GitHub
parent 49983af832
commit 52f8bfaf5b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
3 changed files with 6 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
extensions/theme-defaults/themes/dark_vs.json
View file

@ -20,7 +20,8 @@
"sideBarSectionHeader.background": "#0000", "sideBarSectionHeader.background": "#0000",
"sideBarSectionHeader.border": "#ccc3", "sideBarSectionHeader.border": "#ccc3",
"tab.lastPinnedBorder": "#ccc3", "tab.lastPinnedBorder": "#ccc3",
"list.activeSelectionIconForeground": "#FFF" "list.activeSelectionIconForeground": "#FFF",
"terminal.inactiveSelectionBackground": "#3A3D41",
}, },
"tokenColors": [ "tokenColors": [
{ {

3
extensions/theme-defaults/themes/light_vs.json
View file

@ -26,7 +26,8 @@
"notebook.selectedCellBackground": "#c8ddf150", "notebook.selectedCellBackground": "#c8ddf150",
"statusBarItem.errorBackground": "#c72e0f", "statusBarItem.errorBackground": "#c72e0f",
"list.activeSelectionIconForeground": "#FFF", "list.activeSelectionIconForeground": "#FFF",
"list.focusAndSelectionOutline": "#90C2F9" "list.focusAndSelectionOutline": "#90C2F9",
"terminal.inactiveSelectionBackground": "#E5EBF1",
}, },
"tokenColors": [ "tokenColors": [
{ {

3
extensions/theme-monokai-dimmed/themes/dimmed-monokai-color-theme.json
View file

@ -59,7 +59,8 @@
"terminal.ansiBrightBlue": "#819aff", // hue shifted #AE81FF "terminal.ansiBrightBlue": "#819aff", // hue shifted #AE81FF
"terminal.ansiBrightMagenta": "#AE81FF", "terminal.ansiBrightMagenta": "#AE81FF",
"terminal.ansiBrightCyan": "#66D9EF", "terminal.ansiBrightCyan": "#66D9EF",
"terminal.ansiBrightWhite": "#f8f8f2" "terminal.ansiBrightWhite": "#f8f8f2",
"terminal.inactiveSelectionBackground": "#676b7140"
}, },
"tokenColors": [ "tokenColors": [
{ {