From 479eb68a13a1cf8b39cdb51bcc388d873763e420 Mon Sep 17 00:00:00 2001 From: Daniel Imms Date: Mon, 1 May 2017 16:02:58 -0700 Subject: [PATCH] Fix monokai tab border color Part of #25742 --- extensions/theme-monokai/themes/monokai-color-theme.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/extensions/theme-monokai/themes/monokai-color-theme.json b/extensions/theme-monokai/themes/monokai-color-theme.json index 7c44472891f..3f9ea01f819 100644 --- a/extensions/theme-monokai/themes/monokai-color-theme.json +++ b/extensions/theme-monokai/themes/monokai-color-theme.json @@ -19,7 +19,7 @@ "editorGroupHeader.tabsBackground": "#1e1f1c", "editorGroup.dropBackground": "#41433980", "tab.inactiveBackground": "#414339", - "tab.border": "#000030", + "tab.border": "#1e1f1c", "tab.inactiveForeground": "#ccccc7", // needs to be bright so it's readable when another editor group is focused "widget.shadow": "#1e1f1c", "editorLineNumber.foreground": "#90908a",