src/Tools/jEdit/src/document_model.scala

   content: Document_Model.File_Content,
   node_required: Boolean,
   last_perspective: Document.Node.Perspective_Text.T,
   pending_edits: List[Text.Edit]
 ) extends Document_Model {
-  override def toString: String = "file " + quote(super.toString)
+  override def toString: String = "file " + quote(node_name.node)
 
 
   /* content */
 
   def node_name: Document.Node.Name = content.node_name

 class Buffer_Model private(
   val session: Session,
   val node_name: Document.Node.Name,
   val buffer: Buffer
 ) extends Document_Model {
-  override def toString: String = "buffer " + quote(super.toString)
+  override def toString: String = "buffer " + quote(node_name.node)
 
 
   /* text */
 
   def get_text(range: Text.Range): Option[String] =