[ jEdit-CVS ] CVS update: plugins/TaskList

[John G. <jge...@us...>]

Date:	Thursday December 13, 2001 @ 7:22
Author:	jgellene

Update of /cvsroot/jedit/plugins/TaskList
In directory usw-pr-cvs1:/tmp/cvs-serv13024

Modified Files:
	TaskHighlight.java TaskList.java TaskList.props 
	TaskListPlugin.java users-guide.xml 
Log Message:
beta 0.3.2; activate highighting option and clean up grid display