From ee0b87544b0e181c8b26e93e6f5b66e082f1b52a Mon Sep 17 00:00:00 2001
From: Alex Ma <alma1@microsoft.com>
Date: Wed, 14 Oct 2020 08:45:39 -0700
Subject: [PATCH] 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
---
 src/sql/base/browser/ui/panel/panel.ts | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/src/sql/base/browser/ui/panel/panel.ts b/src/sql/base/browser/ui/panel/panel.ts
index 0936ddb29a..a8a33f0683 100644
--- a/src/sql/base/browser/ui/panel/panel.ts
+++ b/src/sql/base/browser/ui/panel/panel.ts
@@ -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,