From: Slava P. <sp...@us...> - 2003-03-22 20:00:47
|
Date: Saturday March 22, 2003 @ 12:00 Author: spestov Update of /cvsroot/jedit/jEdit/org/gjt/sp/jedit/gui In directory sc8-pr-cvs1:/tmp/cvs-serv1094/org/gjt/sp/jedit/gui Modified Files: DockableWindowManager.java OptionsDialog.java Log Message: misc tweaks, plugin manager work, starting new redisplay |