Fix editor title not updating after connect (#5760)

* Fix editor title not updating after connect

* Fix disconnect to also update title
This commit is contained in:
Charles Gagnon
2019-05-30 13:39:16 -07:00
committed by GitHub
parent bf19ab6ad9
commit 783bb8bd92

View File

@@ -290,10 +290,12 @@ export class QueryInput extends EditorInput implements IEncodingSupport, IConnec
this.runQuery(selection, { displayActualQueryPlan: true });
}
}
this._onDidChangeLabel.fire();
}
public onDisconnect(): void {
this.state.connected = false;
this._onDidChangeLabel.fire();
}
public onRunQuery(): void {