src/Tools/jEdit/src/sendback.scala
Mon, 26 Nov 2012 16:16:47 +0100 wenzelm more general sendback properties;
Sat, 24 Nov 2012 19:01:08 +0100 wenzelm prefer buffer_edit combinator over Java-style boilerplate;
Thu, 22 Nov 2012 14:40:39 +0100 wenzelm some support for implicit senback, meaning that it uses the caret position instead of explicit command exec_id;
Fri, 21 Sep 2012 16:50:44 +0200 wenzelm more realistic sendback: pick exec_id from message position and text from buffer;
Fri, 21 Sep 2012 15:39:51 +0200 wenzelm some support for hovering and sendback area;
less more (0) tip