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

Remove extra space.

Browse Source
This commit is contained in:
Dave Page 2019-11-07 14:15:13 +00:00
parent c3c3e802ca
commit 9961a6c101
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/preferences/static/js/preferences.js
View File

@ -480,7 +480,7 @@ define('pgadmin.preferences', [
if(requires_refresh) {
Alertify.confirm(
gettext('Refresh required'),
gettext('A page refresh is required to apply the theme. Do you wish to refresh the page now ?'),
gettext('A page refresh is required to apply the theme. Do you wish to refresh the page now?'),
function() {
/* If user clicks Yes */
location.reload();