From: Slava P. <sp...@us...> - 2002-02-08 03:40:48
|
Date: Thursday February 7, 2002 @ 19:40 Author: spestov Update of /cvsroot/jedit/jEdit/org/gjt/sp/jedit/gui In directory usw-pr-cvs1:/tmp/cvs-serv17380/org/gjt/sp/jedit/gui Modified Files: ErrorListDialog.java Removed Files: PluginsMenu.java Log Message: plugins menu behaves differently when lots of plugins installed |