q66 pushed a commit to branch master.
http://git.enlightenment.org/editors/jedit-configs.git/commit/?id=0d99776a32dfaf4643867e82b7fc0619ed066a7d
commit 0d99776a32dfaf4643867e82b7fc0619ed066a7d
Author: Daniel Kolesa <d.kol...@osg.samsung.com>
Date: Fri Jun 26 14:54:29 2015 +0100
highlight old doc comment start/end in different color
---
eo/eo.xml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/eo/eo.xml b/eo/eo.xml
index ddcf74f..9e2d920 100644
--- a/eo/eo.xml
+++ b/eo/eo.xml
@@ -27,7 +27,7 @@
<RULES IGNORE_CASE="FALSE" SET="CORE">
<!-- comments -->
<SEQ TYPE="COMMENT1">/**/</SEQ>
- <SPAN TYPE="COMMENT3" DELEGATE="doxygen::DOXYGEN">
+ <SPAN TYPE="COMMENT4" DELEGATE="doxygen::DOXYGEN">
<BEGIN>/*@</BEGIN>
<END>*/</END>
</SPAN>
--
