Plumb editor state change through to state object (#5931)

This commit is contained in:
Charles Gagnon
2019-06-11 23:05:40 +00:00
committed by GitHub
parent eaa5f504e3
commit 33a9f2e3e4

View File

@@ -365,6 +365,9 @@ export class QueryEditor extends BaseEditor {
if (this.resultsVisible) { if (this.resultsVisible) {
this.splitview.removeView(1, Sizing.Distribute); this.splitview.removeView(1, Sizing.Distribute);
this.resultsVisible = false; this.resultsVisible = false;
if (this.input && this.input.state) {
this.input.state.resultsVisible = false;
}
} }
} }
@@ -380,6 +383,9 @@ export class QueryEditor extends BaseEditor {
onDidChange: Event.None onDidChange: Event.None
}, initialViewSize); }, initialViewSize);
this.resultsVisible = true; this.resultsVisible = true;
if (this.input && this.input.state) {
this.input.state.resultsVisible = true;
}
} }
} }