--- 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