From 63bd6a9f5a60d761ba75bcc677fd05486f37a5d4 Mon Sep 17 00:00:00 2001
From: Dietmar Maurer <dietmar@proxmox.com>
Date: Thu, 11 Apr 2019 12:18:04 +0200
Subject: [PATCH] GUI: fix borders

---
 www/ServerAdministration.js | 2 +-
 www/Subscription.js         | 2 +-
 www/SystemConfiguration.js  | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/www/ServerAdministration.js b/www/ServerAdministration.js
index 17748394..83bcc90d 100644
--- 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 72beacc2..a64e0c78 100644
--- 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 9b300134..86a8b241 100644
--- 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: [