From: Slava P. <sp...@us...> - 2002-08-02 17:31:59
|
Date: Friday August 2, 2002 @ 10:31 Author: spestov Update of /cvsroot/jedit/jEdit/org/gjt/sp/jedit In directory usw-pr-cvs1:/tmp/cvs-serv19065/org/gjt/sp/jedit Modified Files: jedit.props jedit_gui.props Log Message: A few minor changes to global options dialog box |