diff options
author | Miguel Solorio <miguel.solorio@microsoft.com> | 2019-10-14 20:42:30 +0300 |
---|---|---|
committer | Miguel Solorio <miguel.solorio@microsoft.com> | 2019-10-14 20:42:30 +0300 |
commit | c534a1cea90293f29edb2995917fe3e267a11716 (patch) | |
tree | 5c5dc8f980f8ad6483a98f63da6dafa9157947fe | |
parent | 55aa1de95c6b61982e9b606f72ea2a61dc7b4734 (diff) |
Fix #64684
-rw-r--r-- | src/vs/workbench/browser/parts/editor/media/tabstitlecontrol.css | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/vs/workbench/browser/parts/editor/media/tabstitlecontrol.css b/src/vs/workbench/browser/parts/editor/media/tabstitlecontrol.css index 532c3378244..2e5c93ce321 100644 --- a/src/vs/workbench/browser/parts/editor/media/tabstitlecontrol.css +++ b/src/vs/workbench/browser/parts/editor/media/tabstitlecontrol.css @@ -232,6 +232,10 @@ padding-right: 5px; /* we need less room when sizing is shrink */ } +.monaco-workbench .part.editor > .content .editor-group-container > .title .tabs-container > .tab.close-button-off.dirty-border-top > .tab-close { + display: none; /* hide dirty state when highlightModifiedTabs is enabled and when running without close button */ +} + .monaco-workbench .part.editor > .content .editor-group-container > .title .tabs-container > .tab.close-button-off.dirty:not(.dirty-border-top) { padding-right: 0; /* remove extra padding when we are running without close button */ } |