-//translate([-biggap2, -thick/2, -mainlen-1])
- linear_extrude(height = thick + slop*2) {
- polygon([[-biggap2, -insertby], [-biggap2, 1],
- [biggap2, 1], [biggap2, -insertby],
- [toegap2, toeend-1], [-toegap2, toeend-1]]);
+ translate([0,thick/2,0]) rotate([90,0,0]) {
+ linear_extrude(height = thick + slop*2) {
+ for (xmir=[0,1]) mirror([xmir,0]) {
+ polygon([[-0.1, 1],
+ [(smallgap2+biggap2)/2, 1],
+ [smallgap2, -insertby],
+ [biggap2, -insertby],
+ [toegap2, toeend-1],
+ [-0.1, toeend-1]]);
+ }
+ }