diff --git a/lib/ace/edit_session.js b/lib/ace/edit_session.js index 2679f4e4..ec6e7ad2 100644 --- a/lib/ace/edit_session.js +++ b/lib/ace/edit_session.js @@ -293,6 +293,8 @@ var EditSession = function(text, mode) { if (window.Worker) this.$worker = mode.createWorker(this); + else + this.$worker = null; this.$mode = mode; this._dispatchEvent("changeMode"); diff --git a/lib/ace/editor.js b/lib/ace/editor.js index a3240fba..70c6bf6b 100644 --- a/lib/ace/editor.js +++ b/lib/ace/editor.js @@ -40,6 +40,8 @@ define(function(require, exports, module) { +require("pilot/fixoldbrowsers"); + var oop = require("pilot/oop"); var event = require("pilot/event"); var lang = require("pilot/lang");