From 38bc918e816f3f364ab4c216dfa48081e181cea3 Mon Sep 17 00:00:00 2001
From: Fabian Jakobs <fabian.jakobs@web.de>
Date: Sat, 22 May 2010 19:27:52 +0200
Subject: [PATCH] optimize text rendering

---
 src/ace/layer/Text.js | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/src/ace/layer/Text.js b/src/ace/layer/Text.js
index 0f483db4..507c1055 100644
--- a/src/ace/layer/Text.js
+++ b/src/ace/layer/Text.js
@@ -132,6 +132,12 @@ ace.layer.Text = function(parentEl) {
         this.element.innerHTML = html.join("");
     };
 
+    this.$textToken = {
+        "text": true,
+        "rparen": true,
+        "lparen": true
+    };
+    
     this.renderLine = function(stringBuilder, row) {
         var tokens = this.tokenizer.getTokens(row);
 
@@ -157,7 +163,7 @@ ace.layer.Text = function(parentEl) {
                 .replace(spaceRe, spaceReplace)
                 .replace(/\t/g, this.$tabString);
 
-            if (token.type !== "text") {
+            if (!this.$textToken[token.type]) {
                 stringBuilder.push("<span class='ace_", token.type, "'>", output, "</span>");
             }
             else {