changeset 65440 | fd147f56d9be |
parent 65439 | 862bfd2b4fd4 |
child 65445 | e9e7f5f5794c |
--- a/src/Pure/PIDE/document.scala Sat Apr 08 12:31:29 2017 +0200 +++ b/src/Pure/PIDE/document.scala Sat Apr 08 12:47:34 2017 +0200 @@ -117,6 +117,7 @@ def loaded_theory: Name = Name(theory, "", theory) def is_theory: Boolean = theory.nonEmpty + def theory_qualifier: String = Long_Name.qualifier(theory) def theory_base_name: String = Long_Name.base_name(theory) override def toString: String = if (is_theory) theory else node