Khushboo Vashi 5e0c113c7b Properties panel is not updated when any object is added/deleted from the browser tree. Fixes #6833		2021-09-30 18:21:43 +05:30
..
pgadmin_tree_save_state.js	Port browser tree to React. Fixes #6129	2021-09-27 16:44:26 +05:30
tree_init.tsx	Port browser tree to React. Fixes #6129	2021-09-27 16:44:26 +05:30
tree_nodes.ts	Fixed an issue where the user was not able to expand the server's on Windows. Fixes #6822	2021-09-29 13:35:54 +05:30
tree_utils.js	Port browser tree to React. Fixes #6129	2021-09-27 16:44:26 +05:30
tree.js	Properties panel is not updated when any object is added/deleted from the browser tree. Fixes #6833	2021-09-30 18:21:43 +05:30