From 1d276d90e044ff0355c8e1017bbb9ad6b1974af3 Mon Sep 17 00:00:00 2001 From: Alan Ren Date: Thu, 26 May 2022 17:54:23 -0700 Subject: [PATCH] adjust the grid's height in table designer (#19550) --- src/sql/workbench/browser/designer/designerTableUtil.ts | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/src/sql/workbench/browser/designer/designerTableUtil.ts b/src/sql/workbench/browser/designer/designerTableUtil.ts index 14b7d6fb66..a85bf89d74 100644 --- a/src/sql/workbench/browser/designer/designerTableUtil.ts +++ b/src/sql/workbench/browser/designer/designerTableUtil.ts @@ -9,7 +9,8 @@ import { deepClone } from 'vs/base/common/objects'; export const TableRowHeight = 25; export const TableHeaderRowHeight = 28; -const minHeight = getTableHeight(2); +export const ScrollbarSize = 15; +const minHeight = getTableHeight(1); /** * Layout the table, the height will be determined by the number of rows in it. @@ -33,5 +34,5 @@ export function layoutDesignerTable(table: Table, width: number } function getTableHeight(rows: number): number { - return rows * TableRowHeight + TableHeaderRowHeight; + return rows * TableRowHeight + TableHeaderRowHeight + ScrollbarSize; }