From 4816fb26f081102f0b184f8e9d9994acd629ab81 Mon Sep 17 00:00:00 2001
From: Piotr Gawron <piotr.gawron@uni.lu>
Date: Mon, 20 Nov 2017 11:54:59 +0100
Subject: [PATCH] small change to help debugging plugin source
---
frontend-js/src/main/js/plugin/Plugin.js | 1 +
1 file changed, 1 insertion(+)
diff --git a/frontend-js/src/main/js/plugin/Plugin.js b/frontend-js/src/main/js/plugin/Plugin.js
index 140fe5a076..8b650459d2 100644
--- a/frontend-js/src/main/js/plugin/Plugin.js
+++ b/frontend-js/src/main/js/plugin/Plugin.js
@@ -82,6 +82,7 @@ Plugin.prototype.load = function () {
error = e;
}
};
+ content += "//# sourceURL=" + options.url;
eval(content);
} catch (e) {
error = e;
--
GitLab