From 367550945629fd7f2d244ec32b39c07f535fc097 Mon Sep 17 00:00:00 2001 From: Bob Date: Sat, 19 Feb 2022 16:02:49 -0500 Subject: [PATCH] re-enable rounded keys, they sometimes work now --- src/key.scad | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/src/key.scad b/src/key.scad index 5ee22fe..15768ba 100644 --- a/src/key.scad +++ b/src/key.scad @@ -155,7 +155,11 @@ module front_of_key() { } module outer_shape() { - shape(0, 0); + if ($rounded_key == true) { + rounded_shape(); + } else { + shape(0, 0); + } } module inner_shape(extra_wall_thickness = 0, extra_keytop_thickness = 0) {