mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2026-08-09 12:38:35 -05:00
Properties panel is not updated when any object is added/deleted from the browser tree. Fixes #6833
This commit is contained in:
committed by
Akshay Joshi
parent
8056e7e3e3
commit
5e0c113c7b
@@ -287,6 +287,9 @@ export class Tree {
|
||||
return this.tree.getActiveFile();
|
||||
}
|
||||
|
||||
resizeTree() {
|
||||
this.tree.resize();
|
||||
}
|
||||
|
||||
findNodeWithToggle(path) {
|
||||
let tree = this;
|
||||
|
||||
Reference in New Issue
Block a user