From a02b64c5106dd37fba7c28f1f6a5f2afc2da7ced Mon Sep 17 00:00:00 2001
From: Fabian Jakobs <fabian.jakobs@web.de>
Date: Fri, 23 Apr 2010 12:04:41 +0200
Subject: [PATCH] proper white space matching

---
 src/layer/Text.js | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/layer/Text.js b/src/layer/Text.js
index 14c65eb7..7fbd8c35 100644
--- a/src/layer/Text.js
+++ b/src/layer/Text.js
@@ -103,9 +103,8 @@ ace.layer.Text = function(parentEl) {
             var output = token.value
                 .replace(/&/g, "&amp;")
                 .replace(/</g, "&lt;")
-                .replace(/ /g, "&nbsp;")
+                .replace(/\v\f \u00a0\u2000\u2001\u2002\u2003\u2004\u2005\u2006\u2007\u2008\u2009\u200a\u200b\u2028\u2029\u3000/g, "&nbsp;")
                 .replace(/\t/g, this.$tabString);
-            // TODO: proper space matching!
 
             if (token.type !== "text") {
                 stringBuilder.push("<span class='", token.type, "'>", output, "</span>");