From e0c8661bf5179c29f0299248c04e3dc313b2fd0e Mon Sep 17 00:00:00 2001
From: mikedeboer <info@mikedeboer.nl>
Date: Wed, 28 Sep 2011 10:49:38 +0200
Subject: [PATCH] clear cache of bgtokenizer on setting document

---
 lib/ace/edit_session.js | 3 +++
 1 file changed, 3 insertions(+)

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