fix doc comment highlighting

This commit is contained in:
Fabian Jakobs 2010-10-25 19:55:46 +02:00
commit 7f3ed94cc5

View file

@ -40,7 +40,7 @@ oop.inherits(DocCommentHighlightRules, TextHighlightRules);
this.getStartRule = function(start) {
return {
token : "doc-comment", // doc comment
token : "comment.doc", // doc comment
regex : "\\/\\*\\*",
next: start
};