src/Tools/jEdit/src/isabelle_rendering.scala

--- a/src/Tools/jEdit/src/isabelle_rendering.scala	Fri Aug 31 13:23:25 2012 +0200
+++ b/src/Tools/jEdit/src/isabelle_rendering.scala	Fri Aug 31 14:35:04 2012 +0200
@@ -292,10 +292,10 @@
             })
         color <-
           (result match {
-            case (Some(status), _) =>
+            case (Some(status), opt_color) =>
               if (status.is_unprocessed) Some(unprocessed1_color)
               else if (status.is_running) Some(running1_color)
-              else None
+              else opt_color
             case (_, opt_color) => opt_color
           })
       } yield Text.Info(r, color)