[ jEdit-devel ] [ jedit-Feature Requests-2860105 ] SPARK Ada annotation highlighting

[SourceForge.net <no...@so...>]

Feature Requests item #2860105, was opened at 2009-09-16 11:25
Message generated for change (Tracker Item Submitted) made by britts
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=350588&aid=2860105&group_id=588

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: None
Group: None
Status: Open
Resolution: None
Priority: 5
Private: No
Submitted By: Britt (britts)
Assigned to: Nobody/Anonymous (nobody)
Summary: SPARK Ada annotation highlighting

Initial Comment:
I need jEdit to highlight SPARK annotations (lines beginning with --#) differently than normal Ada comments. Please add COMMENT2 to the ada95.xml file *above* the COMMENT1 line as follows:

<!-- SPARK annotation comments. -->
<EOL_SPAN TYPE="COMMENT2">--#</EOL_SPAN>

<!-- Normal comments. -->
<EOL_SPAN TYPE="COMMENT1">--</EOL_SPAN>

I modified my installation and this change works well for me. However it would help others to get this change into the jEdit distribution and eventually inherited by the EasyEclipse Color Editor plugin.

Thanks,
-Britt

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=350588&aid=2860105&group_id=588