Provide a default result grid height (#5739)

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

This reverts commit f8ab5fef78.

* Tune the sizing a bit to be more closer to May release
This commit is contained in:
Karl Burtram
2019-05-30 10:21:09 -07:00
committed by GitHub
parent f8ab5fef78
commit ae5b506848

View File

@@ -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;
}
}