src/Tools/jEdit/src/session_dockable.scala

           val w = size.width - insets.left - insets.right
           val h = size.height - insets.top - insets.bottom
           var end = size.width - insets.right
           for {
             (n, color) <- List(
-              (st.unprocessed, Isabelle_Rendering.color_value("unprocessed1_color")),
-              (st.running, Isabelle_Rendering.color_value("running_color")),
-              (st.warned, Isabelle_Rendering.color_value("warning_color")),
-              (st.failed, Isabelle_Rendering.color_value("error_color"))) }
+              (st.unprocessed, Isabelle.options.color_value("unprocessed1_color")),
+              (st.running, Isabelle.options.color_value("running_color")),
+              (st.warned, Isabelle.options.color_value("warning_color")),
+              (st.failed, Isabelle.options.color_value("error_color"))) }
           {
             gfx.setColor(color)
             val v = (n * w / st.total) max (if (n > 0) 2 else 0)
             gfx.fillRect(end - v, insets.top, v, h)
             end -= v