mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2026-07-31 08:38:30 -05:00
1. Rename "Properties..." context menu option of object to "Edit Object...". 2. Rename "Browser" tree to "Object Explorer". #4734
1. Rename "Properties..." context menu option of object to "Edit Object...". 2. Rename "Browser" tree to "Object Explorer". #4734