help tip for search panel

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");