IntenseWebs/pgadmin4
3
0
Fork 0
mirror of https://github.com/pgadmin-org/pgadmin4.git synced 2025-02-25 18:55:31 -06:00
Code Issues Packages Projects Releases Wiki Activity

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

Browse Source
This commit is contained in:
Akshay Joshi
2021-12-16 18:29:44 +05:30
parent 8cfdfd898d
commit 92a997b16a
16 changed files with 77 additions and 64 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
web/pgadmin/tools/maintenance/static/js/maintenance.js
View File

@@ -165,7 +165,7 @@ define([
module: this,
applies: ['tools'],
callback: 'callback_maintenance',
priority: 10,
priority: 3,
label: gettext('Maintenance...'),
icon: 'fa fa-wrench',
enable: supportedNodes.enabled.bind(