src/Pure/PIDE/rendering.scala

--- a/src/Pure/PIDE/rendering.scala	Fri Mar 21 16:42:20 2025 +0100
+++ b/src/Pure/PIDE/rendering.scala	Fri Mar 21 18:37:05 2025 +0100
@@ -99,7 +99,9 @@
     val (states, other) =
       results.iterator.map(_._2).filterNot(Protocol.is_result).toList
         .partition(Protocol.is_state)
-    (if (output_state) states else Nil) ::: other
+    val (urgent, regular) = other.partition(Protocol.is_urgent)
+
+    urgent ::: (if (output_state) states else Nil) ::: regular
   }