src/Tools/jEdit/src/rendering.scala
Mon, 10 Dec 2012 13:52:33 +0100 wenzelm generalized notion of active area, where sendback is just one application;
Mon, 26 Nov 2012 16:16:47 +0100 wenzelm more general sendback properties;
Sun, 25 Nov 2012 21:10:29 +0100 wenzelm tuned signature;
Sun, 25 Nov 2012 20:59:32 +0100 wenzelm renamed main plugin object to PIDE;
Sun, 25 Nov 2012 19:55:42 +0100 wenzelm tuned file name;
less more (0) tip