From 26bcf09333bf360dfe1abc224c1515e01f40385d Mon Sep 17 00:00:00 2001
From: Piotr Gawron <piotr.gawron@uni.lu>
Date: Wed, 23 May 2018 12:58:13 +0200
Subject: [PATCH] missing whitespace added

---
 frontend-js/src/main/js/gui/leftPanel/OverlayPanel.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/frontend-js/src/main/js/gui/leftPanel/OverlayPanel.js b/frontend-js/src/main/js/gui/leftPanel/OverlayPanel.js
index 206634e95e..5e6380700e 100644
--- a/frontend-js/src/main/js/gui/leftPanel/OverlayPanel.js
+++ b/frontend-js/src/main/js/gui/leftPanel/OverlayPanel.js
@@ -384,7 +384,7 @@ OverlayPanel.prototype.refresh = function (showDefault) {
     var addButton = self.getControlElement(PanelControlElementType.OVERLAY_ADD_OVERLAY_BUTTON);
     var tableElement = self.getControlElement(PanelControlElementType.OVERLAY_CUSTOM_OVERLAY_TABLE);
     if (user.getLogin() === "anonymous") {
-      title.innerHTML = 'YOU ARE NOT LOGGED IN. PLEASE, <a href="#">LOG IN</a>'
+      title.innerHTML = 'YOU ARE NOT LOGGED IN. PLEASE, <a href="#">LOG IN</a> '
         + 'TO UPLOAD AND VIEW CUSTOM OVERLAYS<br/><center><button>LOGIN</button></center>';
       var openLoginDialog = function () {
         return self.getParent().getLoginDialog().open();
-- 
GitLab