src/Pure/PIDE/document.scala

 
     val node: Node = get_node(node_name)
 
     def node_files: List[Node.Name] =
       node_name :: node.load_commands.flatMap(_.blobs_names)
-
-
-    /* source text */
-
-    def source: String =
-      snippet_command match {
-        case Some(command) => command.source
-        case None => node.source
-      }
 
 
     /* pending edits */
 
     def is_outdated: Boolean = !pending_edits.is_stable