--- a/src/Tools/VSCode/src/vscode_resources.scala Wed Apr 12 23:44:33 2017 +0200
+++ b/src/Tools/VSCode/src/vscode_resources.scala Thu Apr 13 12:19:28 2017 +0200
@@ -63,7 +63,7 @@
def node_name(file: JFile): Document.Node.Name =
{
val node = file.getPath
- loaded_theory_name(default_qualifier, Thy_Header.theory_name(node)) match {
+ theory_name(default_qualifier, Thy_Header.theory_name(node)) match {
case (true, theory) => Document.Node.Name.loaded_theory(theory)
case (false, theory) =>
val master_dir = if (theory == "") "" else file.getParent