From 12f88a6c6bc85627c1f5d7b18eab4b857ebf01f7 Mon Sep 17 00:00:00 2001
From: Piotr Gawron <piotr.gawron@uni.lu>
Date: Thu, 22 Jun 2017 13:43:39 +0200
Subject: [PATCH] panel have option to show help tip
---
.../src/main/js/gui/leftPanel/Panel.js | 26 +++++++++++++++++++
1 file changed, 26 insertions(+)
diff --git a/frontend-js/src/main/js/gui/leftPanel/Panel.js b/frontend-js/src/main/js/gui/leftPanel/Panel.js
index 0c1d683e28..41f27bb4e3 100644
--- a/frontend-js/src/main/js/gui/leftPanel/Panel.js
+++ b/frontend-js/src/main/js/gui/leftPanel/Panel.js
@@ -22,6 +22,32 @@ function Panel(params) {
$(self.getElement()).addClass("pre-scrollable");
}
+ $(self.getElement()).css("position", "relative");
+ if (params.helpTip !== undefined) {
+ var helpTipButton = Functions.createElement({
+ type : "button",
+ style : "position: absolute; top:5px; right: 5px;width:18px",
+ content : '<span class="ui-icon ui-icon-help" style="margin-left: -0.5em;"/>',
+ });
+ helpTipButton.onclick = function() {
+ var helpDialogDiv = Functions.createElement({
+ type : "div",
+ content : params.helpTip,
+ });
+ $(helpDialogDiv).dialog({
+ close : function(event, ui) {
+ $(this).dialog('destroy').remove();
+ },
+ position : {
+ my : "left top",
+ at : "left bottom",
+ of : helpTipButton
+ },
+ });
+ };
+ self.getElement().appendChild(helpTipButton);
+ }
+
GuiConnector.addWindowResizeEvent(function() {
self.onresize();
});
--
GitLab