From 641954780a4353c5024597c4169da5a33e059e00 Mon Sep 17 00:00:00 2001
From: Piotr Gawron <piotr.gawron@uni.lu>
Date: Wed, 3 Oct 2018 14:58:02 +0200
Subject: [PATCH] footer is taken into consideration
---
frontend-js/src/main/js/gui/Panel.js | 5 +++++
1 file changed, 5 insertions(+)
diff --git a/frontend-js/src/main/js/gui/Panel.js b/frontend-js/src/main/js/gui/Panel.js
index f9208296ff..508ebc0a03 100644
--- a/frontend-js/src/main/js/gui/Panel.js
+++ b/frontend-js/src/main/js/gui/Panel.js
@@ -335,6 +335,11 @@ Panel.prototype.onresize = function () {
var self = this;
var footerPosition = window.innerHeight;
+ var footerHeight = Math.max(0, $(".minerva-logo-footer").outerHeight());
+ footerHeight = Math.max(footerHeight, $(".minerva-footer-table").outerHeight());
+
+ footerPosition -= footerHeight;
+
// compute the width (we can only compute it for visible elements)
var size = 100000;
--
GitLab