Skip to content

Commit 8101d61

Browse files
committed
fix(theme): Fix editor gutter colors not being set
1 parent cd435a1 commit 8101d61

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

themes/deep-ocean-color-theme.json

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -23,6 +23,10 @@
2323
"editorGroupHeader.border": "#0D1012",
2424
"editorGroupHeader.tabsBackground": "#171C1F",
2525
"editorGroupHeader.tabsBorder": "#0D1012",
26+
"editorGutter.addedBackground": "#769972",
27+
"editorGutter.deletedBackground": "#B74B50",
28+
"editorGutter.foldingControlForeground": "#C0C5CE",
29+
"editorGutter.modifiedBackground": "#B28E47",
2630
"editorMarkerNavigation.background": "#fff",
2731
"editorWarning.foreground": "#CCAA66",
2832
"editorWhitespace.foreground": "#65737E",

0 commit comments

Comments
 (0)