From ee67eaad19471b65fa622b09b3439655324d8bd1 Mon Sep 17 00:00:00 2001
From: Piotr Gawron <piotr.gawron@uni.lu>
Date: Wed, 31 Oct 2018 11:18:03 +0100
Subject: [PATCH] legend is not blinking
---
frontend-js/src/main/js/gui/Legend.js | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/frontend-js/src/main/js/gui/Legend.js b/frontend-js/src/main/js/gui/Legend.js
index 6be26eeed2..a976ab7a3e 100644
--- a/frontend-js/src/main/js/gui/Legend.js
+++ b/frontend-js/src/main/js/gui/Legend.js
@@ -39,8 +39,10 @@ Legend.prototype._initializeGui = function () {
var legendDiv = Functions.createElement({
type: "div",
id: "legend-div",
- className: "carousel slide"
+ className: "carousel"
});
+ legendDiv.setAttribute("data-ride", "carousel");
+
self.getElement().appendChild(legendDiv);
var indicators = Functions.createElement({
--
GitLab