avoid useless borders

[pmg-gui.git] / js / VirusDetectorConfiguration.js

diff --git a/js/VirusDetectorConfiguration.js b/js/VirusDetectorConfiguration.js
index 31742ce5459a3e4bcd88d7756e5caf74b87282a4..d4591f71dd6f68aeceb882ea3be468eb6bbd0f0d 100644 (file)
--- a/js/VirusDetectorConfiguration.js
+++ b/js/VirusDetectorConfiguration.js
@@ -5,6 +5,9 @@ Ext.define('PMG.VirusDetectorConfiguration', {
     title: gettext('Configuration') + ': ' +
        gettext('Virus Detector'),
 
+    border: false,
+    defaults: { border: false },
+
     items: [
        {
            title: gettext('Options'),