From a932fa5332c0b4f7d65b4fb6efcd94c77dd723ab Mon Sep 17 00:00:00 2001
From: Piotr Gawron <piotr.gawron@uni.lu>
Date: Mon, 26 Jun 2017 18:22:35 +0200
Subject: [PATCH] left panel scrollable is correct height
---
frontend-js/src/main/js/gui/leftPanel/Panel.js | 2 ++
1 file changed, 2 insertions(+)
diff --git a/frontend-js/src/main/js/gui/leftPanel/Panel.js b/frontend-js/src/main/js/gui/leftPanel/Panel.js
index dde23a7ca7..24fe869450 100644
--- a/frontend-js/src/main/js/gui/leftPanel/Panel.js
+++ b/frontend-js/src/main/js/gui/leftPanel/Panel.js
@@ -479,10 +479,12 @@ Panel.prototype.onresize = function() {
if (size !== 100000) {
$(".pre-scrollable", self.getElement()).each(function(index, element) {
$(element).css('max-height', size);
+ $(element).css('height', size);
});
}
if ($(self.getElement()).hasClass("pre-scrollable") && $(self.getElement()).is(":visible")) {
$(self.getElement()).css('max-height', size);
+ $(self.getElement()).css('height', size);
}
};
--
GitLab