pgadmin-org
/
pgadmin4
mirror of https://github.com/pgadmin-org/pgadmin4.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Fix label

pull/3/head
Dave Page 2016-10-07 14:15:18 +01:00
parent ae612f5403
commit 148808a17b
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
web/pgadmin/browser/server_groups/servers/roles/templates/role/js/role.js
View File

@ -441,7 +441,7 @@ function($, _, S, pgAdmin, pgBrowser, alertify, Backform) {
group: '{{ _('Privileges') }}', type: 'switch',
options: switchOptions, disabled: 'readonly'
},{
id: 'rolcatupdate', label:'{{ _('Update Catalog?') }}',
id: 'rolcatupdate', label:'{{ _('Update catalog?') }}',
type: 'switch', max_version: 90400, options: switchOptions,
group: '{{ _('Privileges') }}', disabled: function(m) {
return (m.get('read_only') || (!m.get('rolsuper')));