From cc343350c0c9b6f30b21dd2b48a68750cf6b1f45 Mon Sep 17 00:00:00 2001
From: Fabian Jakobs <fabian.jakobs@web.de>
Date: Sun, 23 Jan 2011 15:02:38 +0100
Subject: [PATCH] worker cleanup

---
 lib/ace/mode/javascript.js      | 4 ++++
 lib/ace/worker/worker_client.js | 1 +
 2 files changed, 5 insertions(+)

diff --git a/lib/ace/mode/javascript.js b/lib/ace/mode/javascript.js
index 3d4d62d2..f18ec329 100644
--- a/lib/ace/mode/javascript.js
+++ b/lib/ace/mode/javascript.js
@@ -152,6 +152,10 @@ oop.inherits(Mode, TextMode);
             session.setAnnotations(errors)
         });
         
+        worker.on("terminate", function() {
+            session.clearAnnotations();
+        });
+        
         return worker;
     };
 
diff --git a/lib/ace/worker/worker_client.js b/lib/ace/worker/worker_client.js
index 81a516a7..71d6505e 100644
--- a/lib/ace/worker/worker_client.js
+++ b/lib/ace/worker/worker_client.js
@@ -65,6 +65,7 @@ var WorkerClient = function(baseUrl, topLevelNamespaces, module, classname) {
     oop.implement(this, EventEmitter);
 
     this.terminate = function() {
+        this._dispatchEvent("terminate", {});
         this.$worker.terminate();
     };