diff -r 405ccae51c72 -r 00bb83e60336 src/Pure/PIDE/markup.ML
--- a/src/Pure/PIDE/markup.ML	Fri Oct 17 11:03:16 2025 +0200
+++ b/src/Pure/PIDE/markup.ML	Fri Oct 17 15:13:45 2025 +0200
@@ -223,6 +223,7 @@
   val finalizedN: string val finalized: T
   val consolidatingN: string val consolidating: T
   val consolidatedN: string val consolidated: T
+  val command_running: Properties.entry
   val exec_idN: string
   val urgent_properties: Properties.T
   val initN: string
@@ -755,6 +756,8 @@
 val (consolidatingN, consolidating) = markup_elem "consolidating";
 val (consolidatedN, consolidated) = markup_elem "consolidated";
 
+val command_running = (commandN, runningN);
+
 
 (* messages *)