tuned;

--- a/src/Tools/VSCode/src/vscode_resources.scala	Sun Mar 05 14:43:39 2017 +0100
+++ b/src/Tools/VSCode/src/vscode_resources.scala	Sun Mar 05 14:47:37 2017 +0100
@@ -187,7 +187,7 @@
             val model = Document_Model.init(session, node_name)
             val model1 = (model.update_text(text) getOrElse model).external(true)
             (file, model1)
-          }).toMap
+          }).toList
 
         val invoke_input = loaded_models.nonEmpty
         val invoke_load = stable_tip_version.isEmpty