development/vscode
development/vscode
1
0
Fork 0
mirror of https://github.com/Microsoft/vscode synced 2024-10-04 02:14:06 +00:00
Code Issues Packages Projects Releases Wiki Activity

Improve focus border contrast for quiet light, solarized light, and monokai themes (#168237)

Browse source 
Fix #165386
This commit is contained in:
David Dossett 2022-12-06 14:52:11 -08:00 committed by GitHub
parent eefd5edc4d
commit 07a8c6752e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
3 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
extensions/theme-monokai/themes/monokai-color-theme.json
View file

@ -61,7 +61,7 @@
"pickerGroup.foreground": "#75715E", "pickerGroup.foreground": "#75715E",
"input.background": "#414339", "input.background": "#414339",
"inputOption.activeBorder": "#75715E", "inputOption.activeBorder": "#75715E",
"focusBorder": "#75715E", "focusBorder": "#99947c",
"editorWidget.background": "#1e1f1c", "editorWidget.background": "#1e1f1c",
"debugToolBar.background": "#1e1f1c", "debugToolBar.background": "#1e1f1c",
"diffEditor.insertedTextBackground": "#4b661680", // middle of #272822 and #a6e22e "diffEditor.insertedTextBackground": "#4b661680", // middle of #272822 and #a6e22e

2
extensions/theme-quietlight/themes/quietlight-color-theme.json
View file

@ -476,7 +476,7 @@
} }
], ],
"colors": { "colors": {
"focusBorder": "#A6B39B", "focusBorder": "#9769dc",
"pickerGroup.foreground": "#A6B39B", "pickerGroup.foreground": "#A6B39B",
"pickerGroup.border": "#749351", "pickerGroup.border": "#749351",
"list.activeSelectionForeground": "#6c6c6c", "list.activeSelectionForeground": "#6c6c6c",

2
extensions/theme-solarized-light/themes/solarized-light-color-theme.json
View file

@ -327,7 +327,7 @@
"colors": { "colors": {
// Base // Base
// "foreground": "", // "foreground": "",
"focusBorder": "#D3AF86", "focusBorder": "#b49471",
// "contrastActiveBorder": "", // "contrastActiveBorder": "",
// "contrastBorder": "", // "contrastBorder": "",
// "widget.shadow": "", // "widget.shadow": "",