add minkowski facets

This commit is contained in:
Bob 2020-05-12 12:02:07 -04:00
parent 9cb3e12b9b
commit 18892c02b0
2 changed files with 2 additions and 2 deletions

View File

@ -3469,7 +3469,7 @@ module rounded_shape() {
// half minkowski in the z direction // half minkowski in the z direction
color($primary_color) shape_hull($minkowski_radius * 2, $minkowski_radius/2, $inverted_dish ? 2 : 0); color($primary_color) shape_hull($minkowski_radius * 2, $minkowski_radius/2, $inverted_dish ? 2 : 0);
/* cube($minkowski_radius); */ /* cube($minkowski_radius); */
sphere(r=$minkowski_radius, $fn=48); sphere(r=$minkowski_radius, $fn=$minkowski_facets);
} }
} }
/* %envelope(); */ /* %envelope(); */

View File

@ -37,7 +37,7 @@ module rounded_shape() {
// half minkowski in the z direction // half minkowski in the z direction
color($primary_color) shape_hull($minkowski_radius * 2, $minkowski_radius/2, $inverted_dish ? 2 : 0); color($primary_color) shape_hull($minkowski_radius * 2, $minkowski_radius/2, $inverted_dish ? 2 : 0);
/* cube($minkowski_radius); */ /* cube($minkowski_radius); */
sphere(r=$minkowski_radius, $fn=48); sphere(r=$minkowski_radius, $fn=$minkowski_facets);
} }
} }
/* %envelope(); */ /* %envelope(); */