--- a/src/Tools/jEdit/src/rendering.scala Mon Jan 14 22:33:53 2013 +0100
+++ b/src/Tools/jEdit/src/rendering.scala Mon Jan 14 23:08:40 2013 +0100
@@ -180,10 +180,10 @@
((Protocol.Status.init, 0) /: results) {
case ((s1, p1), Text.Info(_, (s2, p2))) => (s1 + s2, p1 max p2) }
- if (pri == Rendering.warning_pri) Some(warning_color)
+ if (status.is_running) Some(running_color)
+ else if (pri == Rendering.warning_pri) Some(warning_color)
else if (pri == Rendering.error_pri) Some(error_color)
else if (status.is_unprocessed) Some(unprocessed_color)
- else if (status.is_running) Some(running_color)
else if (status.is_failed) Some(error_color)
else None
}