From 39b33160c217d316f039e58bc8fdaabdb223649d Mon Sep 17 00:00:00 2001 From: Anthony Dresser Date: Thu, 30 Aug 2018 12:01:27 -0700 Subject: [PATCH] add resize on reset to handle not correctly resizing on reruns (#2357) --- src/sql/parts/query/editor/gridPanel.ts | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/src/sql/parts/query/editor/gridPanel.ts b/src/sql/parts/query/editor/gridPanel.ts index 8aaa0c97ca..60aa1e12f3 100644 --- a/src/sql/parts/query/editor/gridPanel.ts +++ b/src/sql/parts/query/editor/gridPanel.ts @@ -167,8 +167,13 @@ export class GridPanel extends ViewletPanel { for (let i = this.splitView.length - 1; i >= 0; i--) { this.splitView.removeView(i); } + dispose(this.tables); this.tables = []; + + this.maximumBodySize = this.tables.reduce((p, c) => { + return p + c.maximumSize; + }, 0); } private maximizeTable(tableid: string): void {