From 6be579a9259b3c97e4bb4b1035775910184c7ade Mon Sep 17 00:00:00 2001
From: Piotr Gawron <piotr.gawron@uni.lu>
Date: Fri, 8 Mar 2019 09:10:18 +0100
Subject: [PATCH] ServerConnector is accessed as an object property
---
frontend-js/src/main/js/gui/topMenu/TopMenu.js | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/frontend-js/src/main/js/gui/topMenu/TopMenu.js b/frontend-js/src/main/js/gui/topMenu/TopMenu.js
index 7a49e91561..526f1916ee 100644
--- a/frontend-js/src/main/js/gui/topMenu/TopMenu.js
+++ b/frontend-js/src/main/js/gui/topMenu/TopMenu.js
@@ -192,7 +192,7 @@ TopMenu.prototype.init = function () {
var commentCheckbox = self.getControlElement(PanelControlElementType.MENU_COMMENTS_CHECKBOX);
var refreshCommentButton = self.getControlElement(PanelControlElementType.MENU_REFRESH_COMMENTS_BUTTON);
commentCheckbox.onclick = function () {
- ServerConnector.getSessionData(project).setShowComments(commentCheckbox.checked);
+ self.getServerConnector().getSessionData(project).setShowComments(commentCheckbox.checked);
if (commentCheckbox.checked) {
$(refreshCommentButton).css("display", "inline");
} else {
@@ -230,7 +230,7 @@ TopMenu.prototype.init = function () {
$(showOverviewButton).css("display", "inline-block");
}
- if (ServerConnector.getSessionData().getShowComments()) {
+ if (self.getServerConnector().getSessionData().getShowComments()) {
self.getControlElement(PanelControlElementType.MENU_COMMENTS_CHECKBOX).checked = true;
return self.getMap().refreshComments();
} else {
--
GitLab