Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/VSCode/src/server.scala
changeset 64783 0be08e4cd0ec
parent 64782 3f0bbb60859b
child 64800 415dafeb9669 
--- a/src/Tools/VSCode/src/server.scala	Wed Jan 04 22:31:40 2017 +0100
+++ b/src/Tools/VSCode/src/server.scala	Wed Jan 04 22:57:39 2017 +0100
@@ -116,7 +116,7 @@
 
   private val delay_load =
     Standard_Thread.delay_last(options.seconds("vscode_load_delay"))
-    { if (resources.resolve_dependencies(session)) delay_input.invoke() }
+    { if (resources.resolve_dependencies(session, watcher)) delay_input.invoke() }
 
   private val watcher =
     File_Watcher(sync_documents(_), options.seconds("vscode_load_delay"))
isabelle