src/Tools/jEdit/src/theories_dockable.scala
changeset 50895 3a1edaa0dc6d
parent 50300 6658097758ba
child 50900 6d80709ab862
     1.1 --- a/src/Tools/jEdit/src/theories_dockable.scala	Mon Jan 14 22:33:53 2013 +0100
     1.2 +++ b/src/Tools/jEdit/src/theories_dockable.scala	Mon Jan 14 23:08:40 2013 +0100
     1.3 @@ -99,7 +99,7 @@
     1.4                (st.failed, PIDE.options.color_value("error_color"))) }
     1.5            {
     1.6              gfx.setColor(color)
     1.7 -            val v = (n * w / st.total) max (if (n > 0) 2 else 0)
     1.8 +            val v = (n * w / st.total) max (if (n > 0) 4 else 0)
     1.9              gfx.fillRect(end - v, insets.top, v, h)
    1.10              end -= v
    1.11            }