From: Slava P. <sp...@us...> - 2003-05-30 02:43:54
|
Date: Thursday May 29, 2003 @ 19:43 Author: spestov Update of /cvsroot/jedit/jEdit/org/gjt/sp/jedit/options In directory sc8-pr-cvs1:/tmp/cvs-serv14382/org/gjt/sp/jedit/options Modified Files: GeneralOptionPane.java Log Message: plugin manager actually works, various fixes |