From 7f3ed94cc56a6180f02258df3af18376f99d6019 Mon Sep 17 00:00:00 2001
From: Fabian Jakobs <fabian.jakobs@web.de>
Date: Mon, 25 Oct 2010 19:55:46 +0200
Subject: [PATCH] fix doc comment highlighting

---
 src/ace/mode/DocCommentHighlightRules.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/ace/mode/DocCommentHighlightRules.js b/src/ace/mode/DocCommentHighlightRules.js
index 8199e3bb..1b500c6e 100644
--- a/src/ace/mode/DocCommentHighlightRules.js
+++ b/src/ace/mode/DocCommentHighlightRules.js
@@ -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
         };