make navigation tree scrollable

Signed-off-by: Dominik Csapak <d.csapak@proxmox.com>

diff --git a/js/MainView.js b/js/MainView.js
index 15de04d79b624194e310ce30d98a83aacf43fa97..db6e7473bb7fc99afd9eb0ea336c6ec642585879 100644 (file)
--- a/js/MainView.js
+++ b/js/MainView.js
@@ -190,17 +190,29 @@ Ext.define('PMG.MainView', {
            ]
        },
        {
-           xtype: 'navigationtree',
-           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: 'navigationtree',
+               minWidth: 180,
+               reference: 'navtree',
+               // 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-nav',
+               flex: 1
+           }]
        },
        {
            xtype: 'panel',