From ae5b5068482ba96a180f75694df142a27fdd5621 Mon Sep 17 00:00:00 2001
From: Karl Burtram <karlb@microsoft.com>
Date: Thu, 30 May 2019 10:21:09 -0700
Subject: [PATCH] Provide a default result grid height (#5739)

* Revert "Revert "Provide a default result grid height (#5710)" (#5738)"

This reverts commit f8ab5fef7843f6646808ff1c23e19a78235ec4c8.

* Tune the sizing a bit to be more closer to May release
---
 src/sql/workbench/parts/query/browser/queryEditor.ts | 4 +++-
 1 file changed, 3 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..15e777810c 100644
--- a/src/sql/workbench/parts/query/browser/queryEditor.ts
+++ b/src/sql/workbench/parts/query/browser/queryEditor.ts
@@ -366,13 +366,15 @@ export class QueryEditor extends BaseEditor {
 
 	private addResultsEditor() {
 		if (!this.resultsVisible) {
+			// size the results section to 65% of available height or at least 100px
+			let initialViewSize = Math.round(Math.max(this.dimension.height * 0.65, 100));
 			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;
 		}
 	}