src/Tools/VSCode/src/vscode_resources.scala

--- a/src/Tools/VSCode/src/vscode_resources.scala	Sun Apr 09 21:06:19 2017 +0200
+++ b/src/Tools/VSCode/src/vscode_resources.scala	Mon Apr 10 11:29:47 2017 +0200
@@ -63,7 +63,7 @@
   def node_name(file: JFile): Document.Node.Name =
   {
     val node = file.getPath
-    val theory = Thy_Header.thy_name_bootstrap(node).getOrElse("")
+    val theory = Thy_Header.theory_name(node)
     val master_dir = if (theory == "") "" else file.getParent
     Document.Node.Name(node, master_dir, theory)
   }