src/Tools/jEdit/src/rendering.scala

 }
 
 
 class Rendering private(val snapshot: Document.Snapshot, val options: Options)
 {
+  override def toString: String = "Rendering(" + snapshot.toString + ")"
+
+
   /* colors */
 
   def color_value(s: String): Color = Color_Value(options.string(s))
 
   val outdated_color = color_value("outdated_color")