#307 SPARK Ada annotation highlighting

closed-accepted
None
5
2012-05-11
2009-09-16
Britt
No

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

Discussion

  • Jarek Czekalski

    Jarek Czekalski - 2012-05-07
    • assigned_to: nobody --> jarekczek
     
  • Jarek Czekalski

    Jarek Czekalski - 2012-05-11

    Applied to jedit 5.0pre1 as r21657.

     
  • Jarek Czekalski

    Jarek Czekalski - 2012-05-11
    • status: open --> closed-accepted
     

Log in to post a comment.

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks