diff --git a/lib/ace/edit_session.js b/lib/ace/edit_session.js index 6c33c449..5a886b63 100644 --- a/lib/ace/edit_session.js +++ b/lib/ace/edit_session.js @@ -344,20 +344,20 @@ var EditSession = function(text, mode) { return this.doc.getNewLineMode(); }; - this.$useWorker = true; + this.$useWorker = false; this.setUseWorker = function(useWorker) { if (this.$useWorker == useWorker) return; - + if (useWorker && !this.$worker && window.Worker) this.$worker = mode.createWorker(this); - + if (!useWorker && this.$worker) { this.$worker.terminate(); this.$worker = null; } }; - + this.getUseWorker = function() { return this.$useWorker; }; @@ -601,7 +601,7 @@ var EditSession = function(text, mode) { var actions = [{}]; - + // collapse insert and remove operations for (var i=0; i