src/Tools/jEdit/src/rendering.scala
2012-11-26 ago more general sendback properties;
2012-11-25 ago tuned signature;
2012-11-25 ago renamed main plugin object to PIDE;
2012-11-25 ago tuned file name;