src/Tools/VSCode/src/server.scala
changeset 64722 6df73de0d3c7
parent 64720 8cc2d7c4ada1
child 64724 44dbf8cc2d7f
     1.1 --- a/src/Tools/VSCode/src/server.scala	Sat Dec 31 14:27:07 2016 +0100
     1.2 +++ b/src/Tools/VSCode/src/server.scala	Sat Dec 31 14:29:16 2016 +0100
     1.3 @@ -127,7 +127,7 @@
     1.4    }
     1.5  
     1.6    private def sync_external(changed: Set[JFile]): Unit =
     1.7 -    if (resources.sync_external(changed)) delay_input.invoke()
     1.8 +    if (resources.sync_models(changed)) delay_input.invoke()
     1.9  
    1.10    private val watcher = File_Watcher(sync_external(_))
    1.11