jEdit / Plugin Central Submission / #107 Highlight v1.0.0

jEdit is a programmer's text editor written in Java.

#107 Highlight v1.0.0

Milestone: Batch: 27 Sep 2004

Status: closed

Owner: Jeffrey Hoyt

Labels: None

Priority: 5

Updated: 2004-09-29

Created: 2004-09-27

Private: No

Highlight
version 1.0.0

Requires:
java 1.4
jEdit 4.2

Source Code:
plugins/highlight
CVS Tag : V_1_0_0

Changes:
initial Plugin Central release

Features:
Allow you to highlight a word

Description
This plugin is a visual plugin that will highlight with
a green square a word you choose in your text

Discussion

Matthieu Casanova - 2004-09-27

summary: Highlight --> Highlight v1.0.0
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Jeffrey Hoyt - 2004-09-29

status: open --> closed
If you would like to refer to this comment somewhere else in this project, copy and paste the following link: