Set terminal.tab.activeBorder based on editor tab

Fixes #188
2021-07-18 16:20:45 -07:00 · 2021-07-18 16:20:45 -07:00 · 6d853bda83
commit 6d853bda83
parent 66f9446a83
1 changed files with 1 additions and 0 deletions
--- a/src/classic/theme.js
+++ b/src/classic/theme.js
@ -178,6 +178,7 @@ function getTheme({ style, name }) {
      "panelInput.border": pick({ light: primer.gray[2], dark: primer.gray[1] }),

      "terminal.foreground": primer.gray[6],
+      "terminal.tab.activeBorder": "#f9826c",

      "gitDecoration.addedResourceForeground": primer.green[5],
      "gitDecoration.modifiedResourceForeground": primer.blue[6],