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

Added shared server support for admin users. Fixes #4979

Browse Source
This commit is contained in:
Pradip Parkale
2020-09-03 12:59:28 +05:30
committed by Akshay Joshi
parent 3e35dc95e5
commit b562ab7681
37 changed files with 2526 additions and 431 deletions
Download Patch File Download Diff File Expand all files Collapse all files

24
web/pgadmin/preferences/static/js/preferences.js
View File

@@ -463,6 +463,7 @@ define('pgadmin.preferences', [
}
if (e.button.text == gettext('Save')) {
debugger;
let requires_refresh = false;
preferences.updateAll();
@@ -477,6 +478,29 @@ define('pgadmin.preferences', [
if(pref.name == 'theme') {
requires_refresh = true;
}
if(pref.name == 'hide_shared_server') {
Alertify.confirm(
gettext('Browser tree refresh required'),
gettext('A browser tree refresh is required. Do you wish to refresh the tree?'),
function() {
pgAdmin.Browser.tree.destroy({
success: function() {
pgAdmin.Browser.initializeBrowserTree(pgAdmin.Browser);
return true;
},
});
},
function() {
preferences.reset();
changed = {};
return true;
}
).set('labels', {
ok: gettext('Refresh'),
cancel: gettext('Later'),
});
}
});
if(requires_refresh) {