src/Pure/PIDE/command_span.scala

--- a/src/Pure/PIDE/command_span.scala	Sat Dec 05 11:49:04 2020 +0100
+++ b/src/Pure/PIDE/command_span.scala	Sat Dec 05 12:14:40 2020 +0100
@@ -122,6 +122,9 @@
       else Nil
     }
 
+    def is_load_command(syntax: Outer_Syntax): Boolean =
+      syntax.load_command(name).isDefined
+
     def loaded_files(syntax: Outer_Syntax): Loaded_Files =
       syntax.load_command(name) match {
         case None => Loaded_Files.none