From e2bcc842d8f8a15dbda5fa81b6d7d11c72cbffa1 Mon Sep 17 00:00:00 2001
From: Piotr Gawron <piotr.gawron@uni.lu>
Date: Tue, 8 Aug 2017 13:03:17 +0200
Subject: [PATCH] panel name is not trimmed
---
frontend-js/src/main/js/Admin.js | 1 -
1 file changed, 1 deletion(-)
diff --git a/frontend-js/src/main/js/Admin.js b/frontend-js/src/main/js/Admin.js
index 3e9e1ac630..8500d5f680 100644
--- a/frontend-js/src/main/js/Admin.js
+++ b/frontend-js/src/main/js/Admin.js
@@ -117,7 +117,6 @@ Admin.prototype.addTab = function(params, navElement, contentElement) {
var navLink = document.createElement("a");
navLink.href = "#" + tabId;
if (name !== undefined) {
- name = name.substring(0, 10) + "...";
navLink.innerHTML = name;
}
navLink.onclick = function() {
--
GitLab