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

This reverts commit 0893ba33fc.
This commit is contained in:
Karl Burtram
2019-05-29 18:23:12 -07:00
committed by GitHub
parent 0893ba33fc
commit f8ab5fef78

View File

@@ -366,14 +366,13 @@ 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
}, initialViewSize);
}, Sizing.Distribute);
this.resultsVisible = true;
}
}