From f440fb8e0eef71d3f8604c6f6a5931ad6fafb458 Mon Sep 17 00:00:00 2001
From: Fabian Jakobs <fabian.jakobs@web.de>
Date: Thu, 30 Sep 2010 15:13:32 +0200
Subject: [PATCH] don't set the mode it is already set

---
 src/ace/Editor.js | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/ace/Editor.js b/src/ace/Editor.js
index 334a11af..668d4857 100644
--- a/src/ace/Editor.js
+++ b/src/ace/Editor.js
@@ -145,7 +145,7 @@ var Editor = function(renderer, doc) {
     this.setTheme = function(theme) {
         this.renderer.setTheme(theme);
     };
-    
+
     this.$highlightBrackets = function() {
         if (this.$bracketHighlight) {
             this.renderer.removeMarker(this.$bracketHighlight);
@@ -246,6 +246,8 @@ var Editor = function(renderer, doc) {
 
     this.onDocumentModeChange = function() {
         var mode = this.doc.getMode();
+        if (this.mode == mode)
+            return;
 
         this.mode = mode;
         var tokenizer = mode.getTokenizer();