removed redundant "undefined"

This commit is contained in:
Fabian Jakobs 2010-12-15 16:19:09 +01:00
commit e97f9dbbb7

View file

@ -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")