src/Tools/VSCode/src/vscode_resources.scala
changeset 66195 bb886f13623a
parent 66152 18e1aba549f6
child 66234 836898197296
     1.1 --- a/src/Tools/VSCode/src/vscode_resources.scala	Mon Jun 26 11:07:48 2017 +0200
     1.2 +++ b/src/Tools/VSCode/src/vscode_resources.scala	Mon Jun 26 15:57:20 2017 +0200
     1.3 @@ -91,7 +91,7 @@
     1.4    def node_file(name: Document.Node.Name): JFile = new JFile(name.node)
     1.5  
     1.6    def node_name(file: JFile): Document.Node.Name =
     1.7 -    session_base.known.get_file(file) getOrElse {
     1.8 +    session_base.known.get_file(file, bootstrap = true) getOrElse {
     1.9        val node = file.getPath
    1.10        theory_name(Sessions.DRAFT, Thy_Header.theory_name(node)) match {
    1.11          case (true, theory) => Document.Node.Name.loaded_theory(theory)