High contrast and dark border top added for results panel in query editor. (#12892)

* border top themes added for tabbed panel

* removed unnecessary space

* border styles added to tabbed panel

* removed unnecessary field
This commit is contained in:
Alex Ma
2020-10-14 08:45:39 -07:00
committed by GitHub
parent 729378b2d7
commit ee0b87544b

View File

@@ -318,6 +318,13 @@ export class TabbedPanel extends Disposable {
public style(styles: ITabbedPanelStyles): void {
const content: string[] = [];
if (styles.border) {
content.push(`
.tabbedPanel {
border-color: ${styles.border};
}`);
}
if (styles.titleActiveForeground && styles.titleActiveBorder) {
content.push(`
.tabbedPanel > .title .tabList .tab:hover .tabLabel,