diff -r 2472024d9a1c -r 6e03fb945baf src/Pure/PIDE/rendering.scala
--- a/src/Pure/PIDE/rendering.scala	Tue Sep 16 20:33:36 2025 +0200
+++ b/src/Pure/PIDE/rendering.scala	Tue Sep 16 21:04:39 2025 +0200
@@ -510,7 +510,7 @@
       color <-
         result match {
           case (markups, opt_color) if markups.nonEmpty =>
-            val status = Document_Status.Command_Status.make(markups)
+            val status = Document_Status.Command_Status.make(markups = markups)
             if (status.is_unprocessed) Some(Rendering.Color.unprocessed1)
             else if (status.is_running) Some(Rendering.Color.running1)
             else if (status.is_canceled) Some(Rendering.Color.canceled)
@@ -772,7 +772,7 @@
             }, status = true)
       if (results.isEmpty) None
       else {
-        val status = Document_Status.Command_Status.make(results.flatMap(_.info))
+        val status = Document_Status.Command_Status.make(markups = results.flatMap(_.info))
 
         if (status.is_running) Some(Rendering.Color.running)
         else if (status.is_failed) Some(Rendering.Color.error)