From cd34236f30ffc13699afc04bcc55b6c55828af1f Mon Sep 17 00:00:00 2001
From: Kim Santiago <31145923+kisantia@users.noreply.github.com>
Date: Tue, 21 Apr 2020 18:12:00 -0700
Subject: [PATCH] Fix Taskbar separator sometimes disappearing (#10113)

* fix separator sometimes disappearing

* change to min-width
---
 src/sql/base/browser/ui/taskbar/media/taskbar.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/sql/base/browser/ui/taskbar/media/taskbar.css b/src/sql/base/browser/ui/taskbar/media/taskbar.css
index f0f18e4f35..3fcd52d63e 100644
--- a/src/sql/base/browser/ui/taskbar/media/taskbar.css
+++ b/src/sql/base/browser/ui/taskbar/media/taskbar.css
@@ -74,7 +74,7 @@
 }
 
 .taskbarSeparator {
-	width: 1px;
+	min-width: 1px;
 	background-color:#A5A5A5;
 	margin: 6px 8px;
 }