From 89f6de309fdb85cd23df6a1af2c8081cc9282aa9 Mon Sep 17 00:00:00 2001 From: Alan Ren Date: Wed, 15 Jun 2022 11:59:25 -0700 Subject: [PATCH] fix tab header width (#19733) --- src/sql/base/browser/ui/panel/media/panel.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/sql/base/browser/ui/panel/media/panel.css b/src/sql/base/browser/ui/panel/media/panel.css index 2fc941242d..fe2d56ed80 100644 --- a/src/sql/base/browser/ui/panel/media/panel.css +++ b/src/sql/base/browser/ui/panel/media/panel.css @@ -98,7 +98,7 @@ panel { padding-left: 5px; padding-right: 5px; min-width: 65px; - flex: 0 0; + flex: 0 0 auto; } .tabbedPanel.horizontal > .title .tabList .tab-header {