# HG changeset patch
# User wenzelm
# Date 1252246861 -7200
# Node ID b8f2b44529fd335cc1ffee481a9cbe9207d1a0d3
# Parent  826e476947f9c295cfd97b60d0b57930aa790189
tuned color (PG 4.0);

diff -r 826e476947f9 -r b8f2b44529fd src/Tools/jEdit/src/jedit/TheoryView.scala
--- a/src/Tools/jEdit/src/jedit/TheoryView.scala	Sun Sep 06 15:43:02 2009 +0200
+++ b/src/Tools/jEdit/src/jedit/TheoryView.scala	Sun Sep 06 16:21:01 2009 +0200
@@ -24,12 +24,12 @@
 
 object TheoryView
 {
-  
-  def choose_color(cmd: Command, doc: ProofDocument): Color = {
-    cmd.status(doc) match {
+  def choose_color(command: Command, doc: ProofDocument): Color =
+  {
+    command.status(doc) match {
       case Command.Status.UNPROCESSED => new Color(255, 228, 225)
       case Command.Status.FINISHED => new Color(234, 248, 255)
-      case Command.Status.FAILED => new Color(255, 192, 192)
+      case Command.Status.FAILED => new Color(255, 106, 106)
       case _ => Color.red
     }
   }