fix #3287: add recipient filter for virus & attachment quarantines

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

diff --git a/js/QuarantineView.js b/js/QuarantineView.js
index b2e545b7d903e910b424de5a1d9237a15dd6444c..149f5810d8f2acc24e65ff4ff6aecb2ca812d8f5 100644 (file)
--- a/js/QuarantineView.js
+++ b/js/QuarantineView.js
@@ -249,17 +249,31 @@ Ext.define('PMG.QuarantineView', {
            ],
        },
        {
-           xtype: 'quarantinenavigationtree',
-           reference: 'navtree',
-           minWidth: 177,
+           xtype: 'panel',
+           scrollable: 'y',
            border: false,
            region: 'west',
-           // we have to define it here until extjs 6.2
-           // because of a bug where a viewcontroller does not detect
-           // the selectionchange event of a treelist
-           listeners: {
-               selectionchange: 'navigate',
+           layout: {
+               type: 'vbox',
+               align: 'stretch',
            },
+           items: [
+               {
+                   xtype: 'quarantinenavigationtree',
+                   reference: 'navtree',
+                   minWidth: 180,
+                   // we have to define it here until extjs 6.2 because of a bug where a
+                   // viewcontroller does not detect the selectionchange event of a treelist
+                   listeners: {
+                       selectionchange: 'navigate',
+                   },
+               },
+               {
+                   xtype: 'box',
+                   cls: 'x-treelist-pve-nav',
+                   flex: 1,
+               },
+           ],
        },
        {
            xtype: 'panel',