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 64706 3ebf9f8299df
parent 64704 08c2d80428ff
child 64707 7157685b71e3 
--- a/src/Tools/VSCode/src/server.scala	Thu Dec 29 22:10:29 2016 +0100
+++ b/src/Tools/VSCode/src/server.scala	Fri Dec 30 10:26:10 2016 +0100
@@ -165,7 +165,7 @@
         val content = Build.session_content(options, false, session_dirs, session_name)
         val resources =
           new VSCode_Resources(
-            options, content.loaded_theories, content.known_theories, content.syntax)
+            options, text_length, content.loaded_theories, content.known_theories, content.syntax)
 
         Some(new Session(resources) {
           override def output_delay = options.seconds("editor_output_delay")
isabelle