pgAdmin 4 commit: Rearrange tools menu on the basis of usability and fo - Mailing list pgadmin-hackers

Rearrange tools menu on the basis of usability and form groups of similar sub-menus.

Branch
------
master

Details
-------
https://git.postgresql.org/gitweb?p=pgadmin4.git;a=commitdiff;h=92a997b16a945f324bbe7c425342d2d80d244726

Modified Files
--------------
docs/en_US/images/tool_menu.png                    | Bin 102416 -> 100376 bytes
docs/en_US/menu_bar.rst                            |  36 ++++++++++-----------
.../server_groups/servers/static/js/server.js      |   8 ++---
web/pgadmin/browser/static/js/node.js              |  10 +++---
web/pgadmin/tools/backup/static/js/backup.js       |  19 +++++------
web/pgadmin/tools/backup/static/js/backup.ui.js    |   8 +++++
.../tools/backup/static/js/backupGlobal.ui.js      |   8 +++++
web/pgadmin/tools/erd/static/js/erd_module.js      |   2 +-
.../grant_wizard/static/js}/GrantWizard.jsx        |  16 ++++-----
.../tools/grant_wizard/static/js/grant_wizard.js   |  13 +++-----
.../tools/import_export/static/js/import_export.js |   4 +--
.../tools/maintenance/static/js/maintenance.js     |   2 +-
web/pgadmin/tools/restore/static/js/restore.js     |   3 +-
.../tools/schema_diff/static/js/schema_diff.js     |   1 +
.../search_objects/static/js/search_objects.js     |   3 +-
.../storage_manager/static/js/storage_manager.js   |   2 +-
16 files changed, 74 insertions(+), 61 deletions(-)