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. -->
<!-- Normal comments. -->
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.
Log in to post a comment.