From bf0bcbaa4bd6fa5ad6b759781999cef2744229de Mon Sep 17 00:00:00 2001
From: Piotr Gawron <piotr.gawron@uni.lu>
Date: Tue, 27 Jun 2017 17:36:09 +0200
Subject: [PATCH] unnecessary footer div removed
---
frontend-js/src/main/js/gui/leftPanel/LeftPanel.js | 4 ----
1 file changed, 4 deletions(-)
diff --git a/frontend-js/src/main/js/gui/leftPanel/LeftPanel.js b/frontend-js/src/main/js/gui/leftPanel/LeftPanel.js
index 24a21a5f1f..5af14d0aeb 100644
--- a/frontend-js/src/main/js/gui/leftPanel/LeftPanel.js
+++ b/frontend-js/src/main/js/gui/leftPanel/LeftPanel.js
@@ -104,10 +104,6 @@ LeftPanel.prototype._createPanelGui = function() {
});
tabDiv.appendChild(tabContentDiv);
- var footerDiv = Functions.createElement({
- type : "div",
- });
- self.getElement().appendChild(footerDiv);
self.setHeader(header);
for (var i = 0; i < panels.length; i++) {
--
GitLab