src/Tools/VSCode/src/server.scala
changeset 64854 f5aa712e6250
parent 64830 9bc44bef99e6
child 64856 5e9bf964510a
     1.1 --- a/src/Tools/VSCode/src/server.scala	Mon Jan 09 19:34:16 2017 +0100
     1.2 +++ b/src/Tools/VSCode/src/server.scala	Mon Jan 09 20:26:59 2017 +0100
     1.3 @@ -199,10 +199,10 @@
     1.4            }
     1.5          }
     1.6  
     1.7 -        val content = Build.session_content(options, false, session_dirs, session_name)
     1.8          val resources =
     1.9 -          new VSCode_Resources(options, text_length, content.loaded_theories,
    1.10 -              content.known_theories, content.syntax, log) {
    1.11 +          new VSCode_Resources(options, text_length,
    1.12 +            Build.session_content(options, false, session_dirs, session_name), log)
    1.13 +          {
    1.14              override def commit(change: Session.Change): Unit =
    1.15                if (change.deps_changed || undefined_blobs(change.version.nodes).nonEmpty)
    1.16                  delay_load.invoke()