From b237a1bd633adc85649968809d1377907aae385a Mon Sep 17 00:00:00 2001 From: Benjamin Pasero Date: Thu, 1 Sep 2016 16:28:41 +0200 Subject: [PATCH] hc: do not push active tab --- src/vs/workbench/browser/parts/editor/media/tabstitle.css | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/vs/workbench/browser/parts/editor/media/tabstitle.css b/src/vs/workbench/browser/parts/editor/media/tabstitle.css index 19abf81fe70..edf4d47507d 100644 --- a/src/vs/workbench/browser/parts/editor/media/tabstitle.css +++ b/src/vs/workbench/browser/parts/editor/media/tabstitle.css @@ -115,7 +115,8 @@ } .hc-black .monaco-workbench > .part.editor > .content > .one-editor-silo > .container > .title .tabs-container > .tab.active { - border: 2px solid #f38518; + outline: 2px solid #f38518; + outline-offset: -1px; } .vs .monaco-workbench > .part.editor > .content > .one-editor-silo > .container > .title .tabs-container.dropfeedback,