Add tab-activeBorderTop back

msujew · msujew · commit 0d02ba97b560 · 2022-04-08T15:18:04.000+02:00
diff --git a/packages/core/src/browser/style/tabs.css b/packages/core/src/browser/style/tabs.css
@@ -82,11 +82,13 @@
     border-right: 1px solid var(--theia-tab-border);
     background: var(--theia-tab-inactiveBackground);
     color: var(--theia-tab-inactiveForeground);
+    border-top: 1px solid transparent;
 }
 
 #theia-main-content-panel .p-TabBar .p-TabBar-tab.p-mod-current {
     background: var(--theia-tab-activeBackground);
     color: var(--theia-tab-activeForeground);
+    border-top: 1px solid var(--theia-tab-activeBorderTop);
 }
 
 .p-TabBar.theia-app-centers {

Original file line number	Diff line number	Diff line change
`@@ -82,11 +82,13 @@`
`82`	`82`	`border-right: 1px solid var(--theia-tab-border);`
`83`	`83`	`background: var(--theia-tab-inactiveBackground);`
`84`	`84`	`color: var(--theia-tab-inactiveForeground);`
	`85`	`+ border-top: 1px solid transparent;`
`85`	`86`	`}`
`86`	`87`
`87`	`88`	`#theia-main-content-panel .p-TabBar .p-TabBar-tab.p-mod-current {`
`88`	`89`	`background: var(--theia-tab-activeBackground);`
`89`	`90`	`color: var(--theia-tab-activeForeground);`
	`91`	`+ border-top: 1px solid var(--theia-tab-activeBorderTop);`
`90`	`92`	`}`
`91`	`93`
`92`	`94`	`.p-TabBar.theia-app-centers {`