From 28355dc285a2d46e0267dc3f00ba4a1e930b560b Mon Sep 17 00:00:00 2001
From: Piotr Gawron <piotr.gawron@uni.lu>
Date: Wed, 3 Oct 2018 10:27:36 +0200
Subject: [PATCH] unnecessary id removed
---
frontend-js/src/main/js/gui/leftPanel/LeftPanel.js | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/frontend-js/src/main/js/gui/leftPanel/LeftPanel.js b/frontend-js/src/main/js/gui/leftPanel/LeftPanel.js
index a8f91c0915..302fb4491a 100644
--- a/frontend-js/src/main/js/gui/leftPanel/LeftPanel.js
+++ b/frontend-js/src/main/js/gui/leftPanel/LeftPanel.js
@@ -51,8 +51,7 @@ LeftPanel.prototype._createPanelGui = function () {
var panels = self.getPanelsDefinition();
var headerDiv = Functions.createElement({
- type: "div",
- id: "headerPanel"
+ type: "div"
});
var header = new Header({
element: headerDiv,
--
GitLab