#908 Highlight 1.10.0

closed
Townsfolk
None
5
2013-09-05
2013-09-03
No
0 up votes | 0 down votes | 0%
1 comment

{{{ Highlight 1.10.0
Source: https://jedit.svn.sourceforge.net/svnroot/jedit/plugins/Highlight/tags/Highlight-1.10.0
Announcement: New option to highlight entire word for selection highlight
Requires Java 1.6
Requires jEdit 05.01.99.00

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

Long Description: <html>
<p> Highlight is a visual plugin that will highlight
words (or matched regexps) with different colors in the text area.</p>

<p>Contains the option <b>highlight word at caret</b>, which some say should be a built-in feature of jEdit. There are many other options and actions that allow you to highlight specific things in different ways.
</p>
</html>
}}}

Discussion

  • Townsfolk
    Townsfolk
    2013-09-05

    • assigned_to: nobody --> elberry
    • status: open --> closed
     
  • Townsfolk
    Townsfolk
    2013-09-05

    Released to Plugin Central.