src/Pure/PIDE/resources.scala
changeset 65457 2bf0d2fcd506
parent 65452 9e9750a7932c
child 65467 9535c670b1b4
     1.1 --- a/src/Pure/PIDE/resources.scala	Mon Apr 10 13:30:55 2017 +0200
     1.2 +++ b/src/Pure/PIDE/resources.scala	Mon Apr 10 16:43:12 2017 +0200
     1.3 @@ -68,13 +68,13 @@
     1.4      else Nil
     1.5  
     1.6    def theory_qualifier(name: Document.Node.Name): String =
     1.7 -    Long_Name.qualifier(name.theory)
     1.8 +    session_base.global_theories.getOrElse(name.theory, Long_Name.qualifier(name.theory))
     1.9  
    1.10    def import_name(qualifier: String, dir: String, s: String): Document.Node.Name =
    1.11    {
    1.12      val theory0 = Thy_Header.import_name(s)
    1.13      val theory =
    1.14 -      if (Long_Name.is_qualified(theory0) || session_base.global_theories.contains(theory0)
    1.15 +      if (Long_Name.is_qualified(theory0) || session_base.global_theories.isDefinedAt(theory0)
    1.16          || true /* FIXME */) theory0
    1.17        else theory0 // FIXME Long_Name.qualify(qualifier, theory0)
    1.18