src/Pure/Thy/sessions.scala
changeset 66966 f3f9a492bee6
parent 66965 9cec50354099
child 66967 e365c91c72a9
     1.1 --- a/src/Pure/Thy/sessions.scala	Tue Oct 31 18:56:24 2017 +0100
     1.2 +++ b/src/Pure/Thy/sessions.scala	Tue Oct 31 19:29:24 2017 +0100
     1.3 @@ -123,6 +123,9 @@
     1.4      def platform_path: Base = copy(known = known.platform_path)
     1.5      def standard_path: Base = copy(known = known.standard_path)
     1.6  
     1.7 +    def theory_qualifier(name: Document.Node.Name): String =
     1.8 +      global_theories.getOrElse(name.theory, Long_Name.qualifier(name.theory))
     1.9 +
    1.10      def loaded_theory(name: String): Boolean = loaded_theories.defined(name)
    1.11      def loaded_theory(name: Document.Node.Name): Boolean = loaded_theory(name.theory)
    1.12  
    1.13 @@ -260,7 +263,7 @@
    1.14  
    1.15                def node(name: Document.Node.Name): Graph_Display.Node =
    1.16                {
    1.17 -                val qualifier = resources.theory_qualifier(name)
    1.18 +                val qualifier = imports_base.theory_qualifier(name)
    1.19                  if (qualifier == info.name)
    1.20                    Graph_Display.Node(name.theory_base_name, "theory." + name.theory)
    1.21                  else session_node(qualifier)