2) The object is not selected/properties panel is not updated when the user moves to object with arrow keys. Fixes #6821 3) Object gets deselected after editing. Fixes #6824 |
||
|---|---|---|
| .. | ||
| pgadmin_tree_save_state.js | ||
| tree.js | ||
| tree_init.tsx | ||
| tree_nodes.ts | ||
| tree_utils.js | ||