src/Tools/VSCode/src/vscode_resources.scala
changeset 65471 05e5bffcf1d8
parent 65452 9e9750a7932c
child 65472 f83081bcdd0e
     1.1 --- a/src/Tools/VSCode/src/vscode_resources.scala	Wed Apr 12 21:13:43 2017 +0200
     1.2 +++ b/src/Tools/VSCode/src/vscode_resources.scala	Wed Apr 12 22:32:55 2017 +0200
     1.3 @@ -63,9 +63,9 @@
     1.4    def node_name(file: JFile): Document.Node.Name =
     1.5    {
     1.6      val node = file.getPath
     1.7 -    val theory = Thy_Header.theory_name(node)
     1.8 -    val master_dir = if (theory == "") "" else file.getParent
     1.9 -    Document.Node.Name(node, master_dir, theory)
    1.10 +    val (loaded, theory) = theory_name(default_qualifier, Thy_Header.theory_name(node))
    1.11 +    if (loaded) Document.Node.Name.loaded_theory(theory)
    1.12 +    else Document.Node.Name(node, if (theory == "") "" else file.getParent, theory)
    1.13    }
    1.14  
    1.15    override def append(dir: String, source_path: Path): String =