GUI: fix borders

diff --git a/www/ServerAdministration.js b/www/ServerAdministration.js
index 177483949822e83f57d3c2ebb340fd09f16ff365..83bcc90d3aa5a1b9a00da34ae4405b163e95402b 100644 (file)
--- a/www/ServerAdministration.js
+++ b/www/ServerAdministration.js
@@ -5,7 +5,7 @@ Ext.define('PBS.ServerAdministration', {
 
     title: gettext('Server Administration'),
 
-    border: false,
+    border: true,
     defaults: { border: false },
 
     controller: {

diff --git a/www/Subscription.js b/www/Subscription.js
index 72beacc2c28ec3613f5edfc955dd58e79963429a..a64e0c78fe5a583023d738d19ad98f8a06375767 100644 (file)
--- a/www/Subscription.js
+++ b/www/Subscription.js
@@ -22,7 +22,7 @@ Ext.define('PBS.Subscription', {
 
     title: gettext('Subscription'),
 
-    border: false,
+    border: true,
 
     onlineHelp: 'getting_help',
 

diff --git a/www/SystemConfiguration.js b/www/SystemConfiguration.js
index 9b30013459b10e7788ddc3b357f8b7a660da65f9..86a8b241c29a808e1dba382bb4f62136843936ee 100644 (file)
--- a/www/SystemConfiguration.js
+++ b/www/SystemConfiguration.js
@@ -5,7 +5,7 @@ Ext.define('PBS.SystemConfiguration', {
     xtype: 'pbsSystemConfiguration',
 
     title: gettext('Configuration') + ': ' + gettext('System'),
-    border: false,
+    border: true,
     scrollable: true,
     defaults: { border: false },
     items: [