tuned;

--- a/src/Tools/VSCode/src/vscode_resources.scala	Wed Jan 04 21:28:33 2017 +0100
+++ b/src/Tools/VSCode/src/vscode_resources.scala	Thu Jan 05 09:55:26 2017 +0100
@@ -147,8 +147,7 @@
             dep <- thy_info.dependencies("", thys).deps.iterator
             file = node_file(dep.name)
             if !st.models.isDefinedAt(file)
-            _ = watcher.register_parent(file)
-            text <- try_read(file)
+            text <- { watcher.register_parent(file); try_read(file) }
           }
           yield {
             val model = Document_Model.init(session, node_name(file))