Work at SourceForge, help us to make it a better place! We have an immediate need for a Support Technician in our San Francisco or Denver office.

Close

#896 Highlight 1.9.12

closed
Townsfolk
None
5
2013-03-28
2013-03-28
No

{{{ Highlight 1.9.12
Source: https://jedit.svn.sourceforge.net/svnroot/jedit/plugins/Highlight/tags/Highlight-1.9.12
Announcement: -Added an option to choose round corner or not
-Fixed highlighter ignoring extra line spacing
Requires Java 1.6
Requires jEdit 04.05.99.00

Short Description: Highlight is a visual plugin that will highlight words (or matched regexp) with different colors.

Long Description: This plugin is a visual plugin that will highlight
words (or matched regexp) with different colors.
}}}

Discussion

  • Townsfolk
    Townsfolk
    2013-03-28

    Packaged and released to plugin central and plugin manager.

     
  • Townsfolk
    Townsfolk
    2013-03-28

    • assigned_to: nobody --> elberry
    • status: open --> closed
     
  • Townsfolk
    Townsfolk
    2013-03-28

    Tested with jEdit 4.5.2