diff -r 4b9c96c3850b -r 6df73de0d3c7 src/Tools/VSCode/src/server.scala
--- a/src/Tools/VSCode/src/server.scala	Sat Dec 31 14:27:07 2016 +0100
+++ b/src/Tools/VSCode/src/server.scala	Sat Dec 31 14:29:16 2016 +0100
@@ -127,7 +127,7 @@
   }
 
   private def sync_external(changed: Set[JFile]): Unit =
-    if (resources.sync_external(changed)) delay_input.invoke()
+    if (resources.sync_models(changed)) delay_input.invoke()
 
   private val watcher = File_Watcher(sync_external(_))