mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2025-02-25 18:55:31 -06:00
1. Rename "Properties..." context menu option of object to "Edit Object...". 2. Rename "Browser" tree to "Object Explorer". #4734 |
||
---|---|---|
.. | ||
pgadmin_tree_save_state.js | ||
preference_nodes.ts | ||
tree_init.tsx | ||
tree_nodes.ts | ||
tree_utils.js | ||
tree.js |