From cbe37ed2d5a0d58a7ad526239d5616ad940eea84 Mon Sep 17 00:00:00 2001
From: Fabian Jakobs <fabian.jakobs@web.de>
Date: Mon, 31 Jan 2011 10:20:30 +0100
Subject: [PATCH] minor changes

---
 lib/ace/edit_session.js | 2 ++
 lib/ace/editor.js       | 2 ++
 2 files changed, 4 insertions(+)

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");