src/Pure/PIDE/document.scala

--- a/src/Pure/PIDE/document.scala	Fri Sep 29 17:35:09 2017 +0200
+++ b/src/Pure/PIDE/document.scala	Fri Sep 29 17:41:39 2017 +0200
@@ -116,6 +116,8 @@
           case _ => false
         }
 
+      def path: Path = Path.explode(node)
+
       def is_theory: Boolean = theory.nonEmpty
 
       def theory_base_name: String = Long_Name.base_name(theory)