src/Pure/System/progress.scala

--- a/src/Pure/System/progress.scala	Wed Oct 15 22:57:19 2025 +0200
+++ b/src/Pure/System/progress.scala	Thu Oct 16 11:45:29 2025 +0200
@@ -225,7 +225,9 @@
 
   override def status_output(msgs: Progress.Output): Unit = synchronized {
     for (msg <- msgs if do_output(msg)) {
-      Output.output(msg.message.output_text, stdout = !stderr, include_empty = true)
+      val txt0 = msg.message.output_text
+      val txt1 = if (msg.status) "\u001b[7m" + txt0 + "\u001b[27m" else txt0
+      Output.output(txt1, stdout = !stderr, include_empty = true)
     }
   }