[ jEdit-CVS ] CVS update: plugins/Navigator/src/ise/plugin/nav

[Dale A. <dal...@us...>]

Date:	Wednesday April 27, 2005 @ 22:47
Author:	daleanson

Update of /cvsroot/jedit/plugins/Navigator/src/ise/plugin/nav
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv10655/src/ise/plugin/nav

Modified Files:
	Navigator.java 
Added Files:
	OptionPanel.java 
Log Message:
Updates.