mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2026-10-26 06:30:06 -05:00
Fixed an issue where the browser tree state was not preserved correctly. Fixes #7176
This commit is contained in:
1 parent
143ae19b8d
commit
fe416c838b
3 files changed
+6
-2
No files matched your search
@@ -266,7 +266,9 @@ define('pgadmin.node.server', [
|
||||
}
|
||||
t.addIcon(i, {icon: d.icon});
|
||||
obj.callbacks.refresh.apply(obj, [null, i]);
|
||||
t.close(i);
|
||||
setTimeout(() => {
|
||||
t.toggle(i);
|
||||
}, 10);
|
||||
if (pgBrowser.serverInfo && d._id in pgBrowser.serverInfo) {
|
||||
delete pgBrowser.serverInfo[d._id];
|
||||
}
|
||||
|
||||
Reference in new issue
Block a user