From 66d8c99bbfba32b4b2ec5ddf0adba245233f3c4f Mon Sep 17 00:00:00 2001
From: Piotr Gawron <piotr.gawron@uni.lu>
Date: Fri, 6 Apr 2018 16:32:38 +0200
Subject: [PATCH] help tool tips in panel work properly
---
frontend-js/src/main/js/gui/Panel.js | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/frontend-js/src/main/js/gui/Panel.js b/frontend-js/src/main/js/gui/Panel.js
index 8264cfbb02..d4a1129b38 100644
--- a/frontend-js/src/main/js/gui/Panel.js
+++ b/frontend-js/src/main/js/gui/Panel.js
@@ -226,9 +226,9 @@ Panel.prototype.getGuiUtils = function () {
Panel.prototype.setHelpTip = function (helpTip) {
if (this._helpTip === undefined && helpTip !== undefined) {
+ this._helpTip = helpTip;
this.createHelpButton();
}
- this._helpTip = helpTip;
};
Panel.prototype.getHelpTip = function () {
--
GitLab