src/Tools/jEdit/src/rendering.scala
changeset 56980 9c5220e05e04
parent 56883 38c6b70e5e53
child 57594 037f3b251df5
     1.1 --- a/src/Tools/jEdit/src/rendering.scala	Fri May 16 16:40:02 2014 +0200
     1.2 +++ b/src/Tools/jEdit/src/rendering.scala	Fri May 16 17:11:56 2014 +0200
     1.3 @@ -328,8 +328,8 @@
     1.4          val status = Protocol.Status.make(results.iterator.flatMap(_.info))
     1.5  
     1.6          if (status.is_running) Some(running_color)
     1.7 +        else if (status.is_failed) Some(error_color)
     1.8          else if (status.is_warned) Some(warning_color)
     1.9 -        else if (status.is_failed) Some(error_color)
    1.10          else if (status.is_unprocessed) Some(unprocessed_color)
    1.11          else None
    1.12        }