From: Slava P. <sp...@us...> - 2001-12-03 01:17:48
|
Date: Sunday December 2, 2001 @ 17:17 Author: spestov Update of /cvsroot/jedit/jEdit/org/gjt/sp/jedit/gui In directory usw-pr-cvs1:/tmp/cvs-serv25476/org/gjt/sp/jedit/gui Modified Files: DefaultInputHandler.java Log Message: folding menu moved to top level of menu bar; next/prev/parent-fold actions |