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

Rename the menu 'Disconnect Server' to 'Disconnect from server'. Fixes #7163

Browse Source
This commit is contained in:
Akshay Joshi
2022-02-07 16:12:30 +05:30
parent 1141aeb524
commit 6d1926bb63
5 changed files with 10 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
web/pgadmin/browser/server_groups/servers/static/js/server.js
View File

@@ -92,14 +92,14 @@ define('pgadmin.node.server', [
applies: ['object', 'context'], callback: 'connect_server',
category: 'connect', priority: 4, label: gettext('Connect Server'),
icon: 'fa fa-link', enable : 'is_not_connected',data: {
data_disabled: gettext('Database is already connected.'),
data_disabled: gettext('Database server is already connected.'),
},
},{
name: 'disconnect_server', node: 'server', module: this,
applies: ['object', 'context'], callback: 'disconnect_server',
category: 'drop', priority: 5, label: gettext('Disconnect Server'),
category: 'drop', priority: 5, label: gettext('Disconnect from server'),
icon: 'fa fa-unlink', enable : 'is_connected',data: {
data_disabled: gettext('Database is already disconnected.'),
data_disabled: gettext('Database server is already disconnected.'),
},
},
{
@@ -285,8 +285,8 @@ define('pgadmin.node.server', [
if (notify) {
Notify.confirm(
gettext('Disconnect server'),
gettext('Are you sure you want to disconnect the server %s?', d.label),
gettext('Disconnect from server'),
gettext('Are you sure you want to disconnect from the server %s?', d.label),
function() { disconnect(); },
function() { return true;},
);