From 909c56ffe3c352649d0043d8f436b4eedb0ba808 Mon Sep 17 00:00:00 2001 From: Alan Ren Date: Wed, 15 Jun 2022 10:15:14 -0700 Subject: [PATCH] fix the tab list scroll issue (#19731) --- src/sql/base/browser/ui/panel/media/panel.css | 2 ++ src/sql/workbench/browser/designer/media/designer.css | 2 +- 2 files changed, 3 insertions(+), 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 57e7b02c9d..2fc941242d 100644 --- a/src/sql/base/browser/ui/panel/media/panel.css +++ b/src/sql/base/browser/ui/panel/media/panel.css @@ -44,6 +44,7 @@ panel { white-space: nowrap; flex: 1; height: 100%; + overflow: auto; } .tabbedPanel .tabList .tab { @@ -97,6 +98,7 @@ panel { padding-left: 5px; padding-right: 5px; min-width: 65px; + flex: 0 0; } .tabbedPanel.horizontal > .title .tabList .tab-header { diff --git a/src/sql/workbench/browser/designer/media/designer.css b/src/sql/workbench/browser/designer/media/designer.css index ff1d5375d2..853cd631f8 100644 --- a/src/sql/workbench/browser/designer/media/designer.css +++ b/src/sql/workbench/browser/designer/media/designer.css @@ -80,7 +80,7 @@ } .designer-component .designer-tab-view { - overflow: scroll; + overflow: auto; width: 100%; height: 100%; }