src/Tools/VSCode/src/vscode_resources.scala

 
   /* internal state */
 
   sealed case class State(
     models: Map[String, Document_Model] = Map.empty,
-    pending_input: Set[Document.Node.Name] = Set.empty,
-    pending_output: Set[Document.Node.Name] = Set.empty)
+    pending_input: Set[String] = Set.empty,
+    pending_output: Set[String] = Set.empty)
 }
 
 class VSCode_Resources(
     val options: Options,
     val text_length: Text.Length,

 
   def update_model(model: Document_Model)
   {
     state.change(st =>
       st.copy(
-        models = st.models + (model.node_name.node -> model),
-        pending_input = st.pending_input + model.node_name))
+        models = st.models + (model.uri -> model),
+        pending_input = st.pending_input + model.uri))
   }
 
 
   /* pending input */
 

   {
     state.change(st =>
       {
         val changed =
           (for {
-            node_name <- st.pending_input.iterator
-            model <- st.models.get(node_name.node)
+            uri <- st.pending_input.iterator
+            model <- st.models.get(uri)
             res <- model.flush_edits
           } yield res).toList
 
         session.update(Document.Blobs.empty, changed.flatMap(_._1))
         st.copy(

   }
 
 
   /* pending output */
 
-  def update_output(changed_nodes: Set[Document.Node.Name]): Unit =
+  def update_output(changed_nodes: List[String]): Unit =
     state.change(st => st.copy(pending_output = st.pending_output ++ changed_nodes))
 
   def flush_output(channel: Channel)
   {
     state.change(st =>
       {
         val changed_iterator =
           for {
-            node_name <- st.pending_output.iterator
-            model <- st.models.get(node_name.node)
+            uri <- st.pending_output.iterator
+            model <- st.models.get(uri)
             rendering = model.rendering()
             (diagnostics, model1) <- model.publish_diagnostics(rendering)
           } yield {
             channel.diagnostics(model1.uri, rendering.diagnostics_output(diagnostics))
             model1