From: Slava P. <sp...@us...> - 2003-03-22 21:44:38
|
Date: Saturday March 22, 2003 @ 13:44 Author: spestov Update of /cvsroot/jedit/jEdit/org/gjt/sp/jedit/options In directory sc8-pr-cvs1:/tmp/cvs-serv6274/org/gjt/sp/jedit/options Modified Files: PluginManagerOptionPane.java Log Message: added DisplayManager class to eventually replace FoldVisibilityManager |