src/Tools/Graphview/shapes.scala
changeset 75425 b958e053d993
parent 75424 5f8f0bf8c72c
child 75434 f6ee58333aa5
--- a/src/Tools/Graphview/shapes.scala	Sat Apr 09 11:56:48 2022 +0200
+++ b/src/Tools/Graphview/shapes.scala	Sat Apr 09 12:02:38 2022 +0200
@@ -125,6 +125,7 @@
                 m.x - slack * dx2, m.y - slack * dy2,
                 m.x, m.y)
               (dx2, dy2)
+            case _ => ???
           }
 
         val l = ds.last