From ebe4117945ae506dcfc6b2d3e280b078cf6f0cbe Mon Sep 17 00:00:00 2001
From: Mihai Sucan <mihai.sucan@gmail.com>
Date: Thu, 17 Mar 2011 23:20:48 +0200
Subject: [PATCH] fix setUseWorker()

---
 lib/ace/edit_session.js       | 2 ++
 lib/ace/keyboard/textinput.js | 1 +
 2 files changed, 3 insertions(+)

diff --git a/lib/ace/edit_session.js b/lib/ace/edit_session.js
index bc3999c4..92b79861 100644
--- a/lib/ace/edit_session.js
+++ b/lib/ace/edit_session.js
@@ -356,6 +356,8 @@ var EditSession = function(text, mode) {
             this.$worker.terminate();
             this.$worker = null;
         }
+
+        this.$useWorker = useWorker;
     };
 
     this.getUseWorker = function() {
diff --git a/lib/ace/keyboard/textinput.js b/lib/ace/keyboard/textinput.js
index 2ecb1b6e..03120a35 100644
--- a/lib/ace/keyboard/textinput.js
+++ b/lib/ace/keyboard/textinput.js
@@ -21,6 +21,7 @@
  *
  * Contributor(s):
  *      Fabian Jakobs <fabian AT ajax DOT org>
+ *      Mihai Sucan <mihai DOT sucan AT gmail DOT com>
  *
  * Alternatively, the contents of this file may be used under the terms of
  * either the GNU General Public License Version 2 or later (the "GPL"), or