From 33a9f2e3e4e5beb4a71712d37470e55d191bc900 Mon Sep 17 00:00:00 2001 From: Charles Gagnon Date: Tue, 11 Jun 2019 23:05:40 +0000 Subject: [PATCH] Plumb editor state change through to state object (#5931) --- src/sql/workbench/parts/query/browser/queryEditor.ts | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/src/sql/workbench/parts/query/browser/queryEditor.ts b/src/sql/workbench/parts/query/browser/queryEditor.ts index e377c37bb2..961992167d 100644 --- a/src/sql/workbench/parts/query/browser/queryEditor.ts +++ b/src/sql/workbench/parts/query/browser/queryEditor.ts @@ -365,6 +365,9 @@ export class QueryEditor extends BaseEditor { if (this.resultsVisible) { this.splitview.removeView(1, Sizing.Distribute); 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 }, initialViewSize); this.resultsVisible = true; + if (this.input && this.input.state) { + this.input.state.resultsVisible = true; + } } }