# HG changeset patch
# User wenzelm
# Date 1483368821 -3600
# Node ID 74d8793fecebcbad049d265019315ccb0472a738
# Parent  79ed396709e49a497cca17fb7424adf8747fd3f7
proper bootstrap name, e.g. for Pure.thy;

diff -r 79ed396709e4 -r 74d8793feceb src/Tools/VSCode/src/vscode_resources.scala
--- a/src/Tools/VSCode/src/vscode_resources.scala	Mon Jan 02 15:00:55 2017 +0100
+++ b/src/Tools/VSCode/src/vscode_resources.scala	Mon Jan 02 15:53:41 2017 +0100
@@ -40,7 +40,7 @@
 
   def node_name(uri: String): Document.Node.Name =
   {
-    val theory = Thy_Header.thy_name(uri).getOrElse("")
+    val theory = Thy_Header.thy_name_bootstrap(uri).getOrElse("")
     val master_dir =
       if (!Url.is_wellformed_file(uri) || theory == "") ""
       else Url.file(uri).getCanonicalFile.getParent