GUI: fix borders

2019-04-11 12:18:04 +02:00 · 2019-04-11 12:18:04 +02:00 · 63bd6a9f5a
commit 63bd6a9f5a
parent f2b99c34f7
3 changed files with 3 additions and 3 deletions
--- 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: {
--- 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',

--- 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: [