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/vscode_rendering.scala
changeset 69256 c78c95d2a3d1
parent 67824 661cd25304ae
child 69898 990c6e8faf2c 
--- a/src/Tools/VSCode/src/vscode_rendering.scala	Wed Nov 07 21:42:16 2018 +0100
+++ b/src/Tools/VSCode/src/vscode_rendering.scala	Wed Nov 07 22:15:03 2018 +0100
@@ -264,7 +264,7 @@
     yield {
       Line.Node_Range(file.getPath,
         if (range.start > 0) {
-          resources.get_file_content(file) match {
+          resources.get_file_content(resources.node_name(file)) match {
             case Some(text) =>
               val chunk = Symbol.Text_Chunk(text)
               val doc = Line.Document(text)
isabelle