|
From: SourceForge.net <no...@so...> - 2013-03-28 19:15:22
|
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 |