src/Pure/PIDE/resources.scala
changeset 65441 9425e4d8bdb6
parent 65439 862bfd2b4fd4
child 65445 e9e7f5f5794c
     1.1 --- a/src/Pure/PIDE/resources.scala	Sat Apr 08 12:47:34 2017 +0200
     1.2 +++ b/src/Pure/PIDE/resources.scala	Sat Apr 08 20:56:41 2017 +0200
     1.3 @@ -14,8 +14,8 @@
     1.4  
     1.5  
     1.6  class Resources(
     1.7 -  val session_name: String,
     1.8    val session_base: Sessions.Base,
     1.9 +  val default_qualifier: String = "",
    1.10    val log: Logger = No_Logger)
    1.11  {
    1.12    val thy_info = new Thy_Info(this)
    1.13 @@ -72,7 +72,7 @@
    1.14      val theory0 = Thy_Header.base_name(s)
    1.15      val theory =
    1.16        if (Long_Name.is_qualified(theory0) || session_base.global_theories.contains(theory0)) theory0
    1.17 -      else Long_Name.qualify(session_name, theory0)
    1.18 +      else Long_Name.qualify(default_qualifier, theory0)
    1.19  
    1.20      session_base.loaded_theories.get(theory) orElse
    1.21      session_base.loaded_theories.get(theory0) orElse