From: Slava P. <sp...@us...> - 2004-11-21 23:51:20
|
Date: Sunday November 21, 2004 @ 15:50 Author: spestov Update of /cvsroot/jedit/jEdit/org/gjt/sp/jedit/textarea In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv13165/org/gjt/sp/jedit/textarea Modified Files: DisplayManager.java Log Message: fix a DisplayManager problem with file reloading |