src/Tools/jEdit/src/session_dockable.scala
changeset 46688 134982ee4ecb
parent 46681 c083a3f621c0
child 46723 54ea872b60ea
     1.1 --- a/src/Tools/jEdit/src/session_dockable.scala	Sun Feb 26 19:36:35 2012 +0100
     1.2 +++ b/src/Tools/jEdit/src/session_dockable.scala	Sun Feb 26 20:05:14 2012 +0100
     1.3 @@ -116,6 +116,7 @@
     1.4              (n, color) <- List(
     1.5                (st.unprocessed, Isabelle_Rendering.unprocessed1_color),
     1.6                (st.running, Isabelle_Rendering.running_color),
     1.7 +              (st.warned, Isabelle_Rendering.warning_color),
     1.8                (st.failed, Isabelle_Rendering.error_color)) }
     1.9            {
    1.10              gfx.setColor(color)