Fix double border on vertical splits

Fixes #123372
This commit is contained in:
Daniel Imms 2021-05-14 09:23:12 -07:00
parent 8c0ba0b5d7
commit dff22a0712
2 changed files with 13 additions and 3 deletions

View file

@ -78,12 +78,21 @@
overflow: hidden;
}
/* border-color is set by theme key terminal.border */
.monaco-workbench .pane-body.integrated-terminal .monaco-split-view2.horizontal .split-view-view:not(:first-child) {
.monaco-workbench .pane-body.integrated-terminal .split-view-view:first-child .tabs-container {
border-right-width: 1px;
border-right-style: solid;
}
.monaco-workbench .pane-body.integrated-terminal .split-view-view:last-child .tabs-container {
border-left-width: 1px;
border-left-style: solid;
}
.monaco-workbench .pane-body.integrated-terminal .monaco-split-view2.vertical .split-view-view:not(:first-child) {
/* border-color is set by theme key terminal.border */
.monaco-workbench .pane-body.integrated-terminal .terminal-group .monaco-split-view2.horizontal .split-view-view:not(:first-child) {
border-left-width: 1px;
border-left-style: solid;
}
.monaco-workbench .pane-body.integrated-terminal .terminal-group .monaco-split-view2.vertical .split-view-view:not(:first-child) {
border-top-width: 1px;
border-top-style: solid;
}

View file

@ -294,6 +294,7 @@ registerThemingParticipant((theme: IColorTheme, collector: ICssStyleCollector) =
const borderColor = theme.getColor(TERMINAL_BORDER_COLOR);
if (borderColor) {
collector.addRule(`.monaco-workbench .pane-body.integrated-terminal .split-view-view:not(:first-child) { border-color: ${borderColor.toString()}; }`);
collector.addRule(`.monaco-workbench .pane-body.integrated-terminal .tabs-container { border-color: ${borderColor.toString()}; }`);
}
});