From: Slava P. <sp...@us...> - 2003-05-22 18:48:42
|
Date: Thursday May 22, 2003 @ 11:48 Author: spestov Update of /cvsroot/jedit/jEdit/org/gjt/sp/jedit In directory sc8-pr-cvs1:/tmp/cvs-serv17138/org/gjt/sp/jedit Modified Files: jEdit.java jedit_gui.props Log Message: plugins providing fold handlers were not unloaded properly |