From a501214bfa08732e3f2d21aaa5d97641d8d9cd70 Mon Sep 17 00:00:00 2001 From: Karl Burtram Date: Thu, 9 May 2019 18:19:07 -0700 Subject: [PATCH] Adjust estimated scrollbar height to avoid unneeded scrollbar (#5452) --- src/sql/workbench/parts/query/electron-browser/gridPanel.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/sql/workbench/parts/query/electron-browser/gridPanel.ts b/src/sql/workbench/parts/query/electron-browser/gridPanel.ts index 21742e3cfd..54c34a058c 100644 --- a/src/sql/workbench/parts/query/electron-browser/gridPanel.ts +++ b/src/sql/workbench/parts/query/electron-browser/gridPanel.ts @@ -47,7 +47,7 @@ import { ILogService } from 'vs/platform/log/common/log'; const ROW_HEIGHT = 29; const HEADER_HEIGHT = 26; const MIN_GRID_HEIGHT_ROWS = 8; -const ESTIMATED_SCROLL_BAR_HEIGHT = 10; +const ESTIMATED_SCROLL_BAR_HEIGHT = 15; const BOTTOM_PADDING = 15; const ACTIONBAR_WIDTH = 36;