Draw split border in vertical orientation

This commit is contained in:
Daniel Imms 2018-02-16 12:35:16 -08:00
parent 7d99f14ac0
commit 202cfa2ec6
2 changed files with 7 additions and 3 deletions

View file

@ -76,11 +76,15 @@
box-sizing: border-box;
}
.monaco-workbench .panel.integrated-terminal .split-view-view:not(:first-child) {
/* border-color is set by theme key terminal.border */
/* border-color is set by theme key terminal.border */
.monaco-workbench .panel.integrated-terminal .monaco-split-view2.horizontal .split-view-view:not(:first-child) {
border-left-width: 1px;
border-left-style: solid;
}
.monaco-workbench .panel.integrated-terminal .monaco-split-view2.vertical .split-view-view:not(:first-child) {
border-top-width: 1px;
border-top-style: solid;
}
.monaco-workbench .panel.integrated-terminal.enable-ligatures {
font-variant-ligatures: normal;

View file

@ -298,7 +298,7 @@ export class TerminalPanel extends Panel {
const borderColor = theme.getColor(TERMINAL_BORDER_COLOR) || theme.getColor(PANEL_BORDER);
if (borderColor) {
css += `.monaco-workbench .panel.integrated-terminal .split-view-view:not(:first-child) { border-left-color: ${borderColor.toString()}; }`;
css += `.monaco-workbench .panel.integrated-terminal .split-view-view:not(:first-child) { border-color: ${borderColor.toString()}; }`;
}
// Borrow the editor's hover background for now