From 0893ba33fc17631d2805bfc5c16809bf3688cf5f Mon Sep 17 00:00:00 2001 From: Karl Burtram Date: Wed, 29 May 2019 17:38:47 -0700 Subject: [PATCH] Provide a default result grid height (#5710) --- src/sql/workbench/parts/query/browser/queryEditor.ts | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/sql/workbench/parts/query/browser/queryEditor.ts b/src/sql/workbench/parts/query/browser/queryEditor.ts index 0b4b022c26..55d16f98c9 100644 --- a/src/sql/workbench/parts/query/browser/queryEditor.ts +++ b/src/sql/workbench/parts/query/browser/queryEditor.ts @@ -366,13 +366,14 @@ export class QueryEditor extends BaseEditor { private addResultsEditor() { if (!this.resultsVisible) { + let initialViewSize = Math.round(Math.max(this.dimension.height * 0.7, this.dimension.height - 150)); this.splitview.addView({ element: this.resultsEditorContainer, layout: size => this.resultsEditor && this.resultsEditor.layout(new DOM.Dimension(this.dimension.width, size)), minimumSize: 0, maximumSize: Number.POSITIVE_INFINITY, onDidChange: Event.None - }, Sizing.Distribute); + }, initialViewSize); this.resultsVisible = true; } }