From: Slava P. <sp...@us...> - 2002-05-17 09:00:14
|
Date: Friday May 17, 2002 @ 2:00 Author: spestov Update of /cvsroot/jedit/jEdit/org/gjt/sp/jedit In directory usw-pr-cvs1:/tmp/cvs-serv3735/org/gjt/sp/jedit Modified Files: jedit_gui.props xmode.dtd Log Message: digit highlighting code overhauled; fix for status bar bold font issue |