src/Tools/jEdit/src/jedit/TheoryView.scala
changeset 34716 b8f2b44529fd
parent 34712 4f0ee5ab0380
child 34717 3f32e08bbb6c
equal deleted inserted replaced
34715:826e476947f9 34716:b8f2b44529fd
    22 import org.gjt.sp.jedit.syntax.{ModeProvider, SyntaxStyle}
    22 import org.gjt.sp.jedit.syntax.{ModeProvider, SyntaxStyle}
    23 
    23 
    24 
    24 
    25 object TheoryView
    25 object TheoryView
    26 {
    26 {
    27   
    27   def choose_color(command: Command, doc: ProofDocument): Color =
    28   def choose_color(cmd: Command, doc: ProofDocument): Color = {
    28   {
    29     cmd.status(doc) match {
    29     command.status(doc) match {
    30       case Command.Status.UNPROCESSED => new Color(255, 228, 225)
    30       case Command.Status.UNPROCESSED => new Color(255, 228, 225)
    31       case Command.Status.FINISHED => new Color(234, 248, 255)
    31       case Command.Status.FINISHED => new Color(234, 248, 255)
    32       case Command.Status.FAILED => new Color(255, 192, 192)
    32       case Command.Status.FAILED => new Color(255, 106, 106)
    33       case _ => Color.red
    33       case _ => Color.red
    34     }
    34     }
    35   }
    35   }
    36 }
    36 }
    37 
    37