src/Tools/jEdit/src/session_dockable.scala
changeset 45665 129db1416717
parent 45100 0971c3ee3cdf
child 45672 a497c5d4a523
     1.1 --- a/src/Tools/jEdit/src/session_dockable.scala	Mon Nov 28 20:31:53 2011 +0100
     1.2 +++ b/src/Tools/jEdit/src/session_dockable.scala	Mon Nov 28 20:39:08 2011 +0100
     1.3 @@ -114,9 +114,9 @@
     1.4            var end = size.width - insets.right
     1.5            for {
     1.6              (n, color) <- List(
     1.7 -              (st.unprocessed, Isabelle_Markup.unprocessed1_color),
     1.8 -              (st.running, Isabelle_Markup.running_color),
     1.9 -              (st.failed, Isabelle_Markup.error_color)) }
    1.10 +              (st.unprocessed, Isabelle_Rendering.unprocessed1_color),
    1.11 +              (st.running, Isabelle_Rendering.running_color),
    1.12 +              (st.failed, Isabelle_Rendering.error_color)) }
    1.13            {
    1.14              gfx.setColor(color)
    1.15              val v = (n * w / st.total) max (if (n > 0) 2 else 0)