Update gutter decoration colors in v2 themes (#169317)

This commit is contained in:
David Dossett 2022-12-15 12:22:17 -08:00 committed by GitHub
parent c931072234
commit 5b0a8801a0
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 6 additions and 8 deletions

View file

@ -38,10 +38,9 @@
"editorGroup.border": "#ffffff17",
"editorGroupHeader.tabsBackground": "#181818",
"editorGroupHeader.tabsBorder": "#ffffff15",
"editorGutter.addedBackground": "#2ea04366",
"editorGutter.deletedBackground": "#f8514966",
"editorGutter.modifiedBackground": "#bb800966",
"editorIndentGuide.activeBackground": "#c9d1d93d",
"editorGutter.addedBackground": "#2ea043",
"editorGutter.deletedBackground": "#f85149",
"editorGutter.modifiedBackground": "#2488d8",
"editorInlayHint.background": "#8b949e33",
"editorInlayHint.foreground": "#8b949e",
"editorInlayHint.typeBackground": "#8b949e33",

View file

@ -39,10 +39,9 @@
"editorGroup.border": "#0000001a",
"editorGroupHeader.tabsBackground": "#f8f8f8",
"editorGroupHeader.tabsBorder": "#0000001a",
"editorGutter.addedBackground": "#2ea04366",
"editorGutter.deletedBackground": "#f8514966",
"editorGutter.modifiedBackground": "#bb800966",
"editorIndentGuide.activeBackground": "#c9d1d93d",
"editorGutter.addedBackground": "#2ea043",
"editorGutter.deletedBackground": "#f85149",
"editorGutter.modifiedBackground": "#005FB8",
"editorIndentGuide.background": "#D3D3D3",
"editorInlayHint.background": "#8b949e33",
"editorInlayHint.foreground": "#8b949e",