re-enable rounded keys, they sometimes work now

This commit is contained in:
Bob 2022-02-19 16:02:49 -05:00
parent b36bf13b3e
commit 3675509456

View File

@ -155,8 +155,12 @@ module front_of_key() {
} }
module outer_shape() { module outer_shape() {
if ($rounded_key == true) {
rounded_shape();
} else {
shape(0, 0); shape(0, 0);
} }
}
module inner_shape(extra_wall_thickness = 0, extra_keytop_thickness = 0) { module inner_shape(extra_wall_thickness = 0, extra_keytop_thickness = 0) {
if ($inner_shape_type == "flat") { if ($inner_shape_type == "flat") {