[ jEdit-devel ] [ jedit-Plugin Central Submission-3609339 ] Highlight 1.9.12

Plugin Central Submission item #3609339, was opened at 2013-03-28 02:33
Message generated for change (Comment added) made by elberry
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=625093&aid=3609339&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: Closed
Resolution: None
Priority: 5
Private: No
Submitted By: Matthieu Casanova (kpouer)
>Assigned to: Townsfolk (elberry)
Summary: Highlight 1.9.12

Initial Comment:
{{{ 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.
 }}}

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

>Comment By: Townsfolk (elberry)
Date: 2013-03-28 12:15

Message:
Tested with jEdit 4.5.2

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

Comment By: Townsfolk (elberry)
Date: 2013-03-28 12:15

Message:
Packaged and released to plugin central and plugin manager.


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

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