src/Tools/jEdit/src/jedit/scala_console.scala
Sat, 09 Jan 2010 00:49:51 +0100 wenzelm provide some bindings of jEdit values;
Fri, 08 Jan 2010 12:26:44 +0100 wenzelm more precise prompt etc.;
Fri, 08 Jan 2010 00:47:10 +0100 wenzelm some attempts at Scala console plugin;
less more (0) tip