From: Slava P. <sp...@us...> - 2002-04-08 16:44:23
|
Date: Monday April 8, 2002 @ 6:13 Author: spestov Update of /cvsroot/jedit/jEdit/org/gjt/sp/jedit In directory usw-pr-cvs1:/tmp/cvs-serv26503/org/gjt/sp/jedit Modified Files: jedit_gui.props Log Message: work thread pool race fix |