src/Tools/VSCode/src/vscode_resources.scala

   {
     state.change(st =>
       {
         val model = st.models.getOrElse(file, Document_Model.init(session, node_name(file)))
         val model1 = (model.update_text(text) getOrElse model).external(false)
-        st.copy(
-          models = st.models + (file -> model1),
-          pending_input = st.pending_input + file,
-          pending_output = st.pending_output ++
-            (if (model.node_visible == model1.node_visible) None else Some(file)))
+        st.update_models(Some(file -> model1))
       })
   }
 
   def close_model(file: JFile): Boolean =
     state.change_result(st =>