ckaczor/azuredatastudio
1
0
Fork 0
mirror of https://github.com/ckaczor/azuredatastudio.git synced 2026-02-02 17:23:40 -05:00
Code Issues Packages Projects Releases Wiki Activity

Fixing node retention after disconnect (#23020)

Browse Source
This commit is contained in:
Aasim Khan
2023-05-08 10:13:53 -07:00
committed by GitHub
parent 6fa948adbe
commit f605a3c644
1 changed files with 5 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
src/sql/workbench/contrib/objectExplorer/browser/serverTreeView.ts
View File

@@ -336,7 +336,10 @@ export class ServerTreeView extends Disposable implements IServerTreeView {
}
if (newParent) {
newParent.addOrReplaceConnection(movedConnection);
await this._tree.rerender(newParent);
await this._tree.makeElementDirty(newParent);
await this._tree.updateChildren(newParent);
await this._tree.expand(newParent);
}
const newConnection = this._tree.getElementById(movedConnection.id);
if (newConnection) {
@@ -516,14 +519,14 @@ export class ServerTreeView extends Disposable implements IServerTreeView {
}
// Delete the node from the tree
await this._objectExplorerService.deleteObjectExplorerNode(connectionProfile);
// Collapse the node
await this._tree.collapse(connectionProfile);
// Rerendering node to turn the badge red
await this._tree.rerender(connectionProfile);
connectionProfile.isDisconnecting = true;
await this._tree.updateChildren(connectionProfile);
connectionProfile.isDisconnecting = false;
// Make the connection dirty so that the next expansion will refresh the node
// Collapse the node
await this._tree.collapse(connectionProfile);
await this._tree.makeElementDirty(connectionProfile);
await this._tree.revealSelectFocusElement(connectionProfile);
}