src/Tools/VSCode/src/server.scala

--- a/src/Tools/VSCode/src/server.scala	Fri Dec 30 11:54:11 2016 +0100
+++ b/src/Tools/VSCode/src/server.scala	Fri Dec 30 17:45:00 2016 +0100
@@ -114,8 +114,7 @@
 
   private def update_document(uri: String, text: String)
   {
-    val model = Document_Model.init(session, resources.node_name(uri), text)
-    resources.update_model(model)
+    resources.update_model(session, uri, text)
     delay_input.invoke()
   }