src/Tools/Graphview/shapes.scala
changeset 75439 e1c9e4d59921
parent 75434 f6ee58333aa5
--- a/src/Tools/Graphview/shapes.scala	Sat Apr 09 15:35:27 2022 +0200
+++ b/src/Tools/Graphview/shapes.scala	Sat Apr 09 15:40:29 2022 +0200
@@ -125,7 +125,7 @@
                 m.x - slack * dx2, m.y - slack * dy2,
                 m.x, m.y)
               (dx2, dy2)
-            case _ => ???
+            case (p, _) => p
           }
 
         val l = ds.last