提交 5be33cb0 编写于 作者: B Benjamin Pasero

grid - stronger border top color

otherwise when a tab is showing in a vertical split, the border collides with the sash border
上级 6f0255c4
......@@ -837,7 +837,7 @@ export class TabsTitleControl extends TitleControl {
const hasTabsContainerBorder = !!this.getColor(EDITOR_GROUP_HEADER_TABS_BORDER);
tabContainer.style.boxShadow = `${activeTabBorderColor} 0 ${hasTabsContainerBorder ? -2 : -1}px inset`;
} else if (activeTabBorderColorTop) {
tabContainer.style.boxShadow = `${activeTabBorderColorTop} 0 1px inset`;
tabContainer.style.boxShadow = `${activeTabBorderColorTop} 0 2px inset`;
} else {
tabContainer.style.boxShadow = null;
}
......
Markdown is supported
0% .
You are about to add 0 people to the discussion. Proceed with caution.
先完成此消息的编辑!
想要评论请 注册