From: Slava P. <sp...@us...> - 2002-03-10 06:00:12
|
Date: Saturday March 9, 2002 @ 22:00 Author: spestov Update of /cvsroot/jedit/jEdit/org/gjt/sp/jedit In directory usw-pr-cvs1:/tmp/cvs-serv14682/org/gjt/sp/jedit Modified Files: jedit_gui.props Log Message: global options usability tweak |