From 558206df09b3cb1ba10e07c2cc124d3f7a68ceed Mon Sep 17 00:00:00 2001
From: mikedeboer <info@mikedeboer.nl>
Date: Wed, 28 Sep 2011 11:35:16 +0200
Subject: [PATCH] fixed error introduced by previous commit

---
 lib/ace/edit_session.js | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/lib/ace/edit_session.js b/lib/ace/edit_session.js
index e9e9fadf..a81bf5ed 100644
--- a/lib/ace/edit_session.js
+++ b/lib/ace/edit_session.js
@@ -92,8 +92,10 @@ var EditSession = function(text, mode) {
         doc.on("change", this.onChange.bind(this));
         this.on("changeFold", this.onChangeFold.bind(this));
         
-        this.bgTokenizer.setDocument(this.getDocument());
-        this.bgTokenizer.start(0);
+        if (this.bgTokenizer) {
+            this.bgTokenizer.setDocument(this.getDocument());
+            this.bgTokenizer.start(0);
+        }
     };
 
     this.getDocument = function() {