diff --git a/frontend-js/src/main/js/gui/leftPanel/Panel.js b/frontend-js/src/main/js/gui/leftPanel/Panel.js index 41f27bb4e3c71edfc06e8566bc028fc98f21934e..2e2c86e0a26bccfe8ab17e889fbe15d9dc3b0922 100644 --- a/frontend-js/src/main/js/gui/leftPanel/Panel.js +++ b/frontend-js/src/main/js/gui/leftPanel/Panel.js @@ -20,6 +20,8 @@ function Panel(params) { if (params.scrollable) { $(self.getElement()).addClass("pre-scrollable"); + } else { + $(self.getElement()).css("overflow-y", "auto"); } $(self.getElement()).css("position", "relative");