fix comments starting with '/*'

This commit is contained in:
Tom Tasche 2011-02-02 15:16:04 +01:00
commit 26373562dc
3 changed files with 7 additions and 3 deletions

View file

@ -38,7 +38,11 @@ JavaHighlightRules = function() {
regex : "\\/\\/.*$"
},
docComment.getStartRule("doc-start"),
{
{
token : "comment", // multi line comment
regex : "\\/\\*",
next : "comment"
}, {
token : "comment", // multi line comment
regex : "\\/\\*\\*",
next : "comment"