From e97f9dbbb78857ba1b0c8e52fa6772a767637f0d Mon Sep 17 00:00:00 2001
From: Fabian Jakobs <fabian.jakobs@web.de>
Date: Wed, 15 Dec 2010 16:19:09 +0100
Subject: [PATCH] removed redundant "undefined"

---
 lib/ace/mode/javascript_highlight_rules.js | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/lib/ace/mode/javascript_highlight_rules.js b/lib/ace/mode/javascript_highlight_rules.js
index 3dd063f2..38fe7100 100644
--- a/lib/ace/mode/javascript_highlight_rules.js
+++ b/lib/ace/mode/javascript_highlight_rules.js
@@ -52,7 +52,7 @@ JavaScriptHighlightRules = function() {
     );
     
     var buildinConstants = lang.arrayToMap(
-        ("true|false|null|undefined|Infinity|NaN|undefined").split("|")
+        ("null|Infinity|NaN|undefined").split("|")
     );
     
     var futureReserved = lang.arrayToMap(
@@ -96,6 +96,9 @@ JavaScriptHighlightRules = function() {
         }, {
             token : "constant.numeric", // float
             regex : "[+-]?\\d+(?:(?:\\.\\d*)?(?:[eE][+-]?\\d+)?)?\\b"
+        }, {
+            token : "constant.boolean", // float
+            regex : "(?:true|false)\\b"
         }, {
             token : function(value) {
                 if (value == "this")