From 8ab22e9cc8aa8cdd26f4af46570b955716de4e89 Mon Sep 17 00:00:00 2001 From: Anthony Dresser Date: Fri, 7 Sep 2018 11:08:27 -0700 Subject: [PATCH] change layout for gridpanel to correctly handle header size (#2452) --- src/sql/parts/query/editor/gridPanel.ts | 4 ---- 1 file changed, 4 deletions(-) diff --git a/src/sql/parts/query/editor/gridPanel.ts b/src/sql/parts/query/editor/gridPanel.ts index bae592ba96..4d00edb5ca 100644 --- a/src/sql/parts/query/editor/gridPanel.ts +++ b/src/sql/parts/query/editor/gridPanel.ts @@ -216,10 +216,6 @@ export class GridPanel extends ViewletPanel { } } - public layout(size: number) { - this.splitView.layout(size); - } - private minimizeTables(): void { if (this.maximizedGrid) { this.maximizedGrid.state.maximized = false;