From 2aa88b48ed3863fed6aa93f9e332f2b5bddca110 Mon Sep 17 00:00:00 2001
From: Piotr Gawron <piotr.gawron@uni.lu>
Date: Mon, 12 Jun 2017 16:23:37 +0200
Subject: [PATCH] message dialog for errors improved
---
frontend-js/src/main/js/GuiConnector.js | 26 ++++++++++++++++++++++---
1 file changed, 23 insertions(+), 3 deletions(-)
diff --git a/frontend-js/src/main/js/GuiConnector.js b/frontend-js/src/main/js/GuiConnector.js
index d3012a917f..d7ff4cc74f 100644
--- a/frontend-js/src/main/js/GuiConnector.js
+++ b/frontend-js/src/main/js/GuiConnector.js
@@ -105,9 +105,29 @@ GuiConnector.updateMouseCoordinates = function(x, y) {
this.yPos = y;
};
-GuiConnector.alert = function(message) {
- logger.error(message);
- alert(message);
+GuiConnector.alert = function(error) {
+ var self = this;
+ logger.error(error);
+ if (self._errorDialog === undefined) {
+ self._errorDialog = document.createElement("div");
+ self._errorDialogContent = document.createElement("div");
+ self._errorDialog.appendChild(self._errorDialogContent);
+ document.body.appendChild(self._errorDialog);
+ $(self._errorDialog).dialog({
+ classes : {
+ "ui-dialog" : "ui-state-error"
+ },
+ modal : true,
+ title : "ERROR"
+ }).siblings('.ui-dialog-titlebar').css("background", "red");
+ }
+ var message = error;
+ if (message instanceof Error) {
+ message = "Unexpected error occured:<p>" + error.message + "</p>";
+ }
+ self._errorDialogContent.innerHTML = message;
+ $(self._errorDialog).dialog("open");
+
};
module.exports = GuiConnector;
--
GitLab