src/Tools/jEdit/src/timing_dockable.scala

     Swing_Thread.require()
 
     val name =
       Document_View(view.getTextArea) match {
         case None => Document.Node.Name.empty
-        case Some(doc_view) => doc_view.model.name
+        case Some(doc_view) => doc_view.model.node_name
       }
     val timing = nodes_timing.getOrElse(name, Protocol.empty_node_timing)
 
     val theories =
       (for ((node_name, node_timing) <- nodes_timing.toList if !node_timing.commands.isEmpty)