src/Tools/jEdit/src/theories_dockable.scala
changeset 56407 8e7ebc4b30f1
parent 56389 e49561ae3b65
child 56457 eea4bbe15745
     1.1 --- a/src/Tools/jEdit/src/theories_dockable.scala	Fri Apr 04 14:31:31 2014 +0200
     1.2 +++ b/src/Tools/jEdit/src/theories_dockable.scala	Fri Apr 04 15:58:20 2014 +0200
     1.3 @@ -160,8 +160,8 @@
     1.4                  (st.failed, PIDE.options.color_value("error_color"))
     1.5                ).filter(_._1 > 0)
     1.6  
     1.7 -            (size.width /: segments)({ case (last, (n, color)) =>
     1.8 -              val w = (n * (size.width - segments.length) / st.total) max 4
     1.9 +            ((size.width - 1) /: segments)({ case (last, (n, color)) =>
    1.10 +              val w = (n * ((size.width - 2) - segments.length) / st.total) max 4
    1.11                paint_segment(last - w, w, color)
    1.12                last - w - 1
    1.13              })