[ jEdit-CVS ] CVS update: plugins/WhiteSpace/whitespace

[Andr? K. <ak...@us...>]

Date:	Sunday December 2, 2001 @ 15:43
Author:	akaplan

Update of /cvsroot/jedit/plugins/WhiteSpace/whitespace
In directory usw-pr-cvs1:/tmp/cvs-serv10833/whitespace

Modified Files:
	WhiteSpaceActions.java 
Log Message:
Moved fold highlighting / tooltip options to WhiteSpaceActions