src/Tools/Graphview/shapes.scala
changeset 75425 b958e053d993
parent 75424 5f8f0bf8c72c
child 75434 f6ee58333aa5
equal deleted inserted replaced
75424:5f8f0bf8c72c 75425:b958e053d993
   123               path.curveTo(
   123               path.curveTo(
   124                 l.x + slack * dx, l.y + slack * dy,
   124                 l.x + slack * dx, l.y + slack * dy,
   125                 m.x - slack * dx2, m.y - slack * dy2,
   125                 m.x - slack * dx2, m.y - slack * dy2,
   126                 m.x, m.y)
   126                 m.x, m.y)
   127               (dx2, dy2)
   127               (dx2, dy2)
       
   128             case _ => ???
   128           }
   129           }
   129 
   130 
   130         val l = ds.last
   131         val l = ds.last
   131         path.curveTo(
   132         path.curveTo(
   132           l.x + slack * dx2, l.y + slack * dy2,
   133           l.x + slack * dx2, l.y + slack * dy2,