diff --git a/index.html b/index.html
index dd0c8e18..61887f61 100644
--- a/index.html
+++ b/index.html
@@ -888,6 +888,12 @@ oop.inherits(FoldMode, BaseFoldMode);
Evaluzio
Evaluzio
+
+
+

+
+ CodeHelper
+
Edicy
Edicy
diff --git a/lib/ace/worker/worker_client.js b/lib/ace/worker/worker_client.js
index 8f11ff4b..a93abcc2 100644
--- a/lib/ace/worker/worker_client.js
+++ b/lib/ace/worker/worker_client.js
@@ -179,6 +179,7 @@ var UIWorkerClient = function(topLevelNamespaces, mod, classname) {
var _self = this;
this.$worker = {}
+ this.$worker.terminate = function() {};
this.$worker.postMessage = function(e) {
_self.messageBuffer.push(e);
main && setTimeout(processNext);