merge tabs

This commit is contained in:
Stewart Allen 2020-11-26 10:48:13 -05:00
commit deb33e08c5

View file

@ -567,7 +567,7 @@
function cutTabs(tabs, offset, z) {
let noff = [];
tabs = tabs.filter(tab => z < tab.pos.z + tab.dim.z/2).map(tab => tab.off).flat();
offset.forEach(op => noff.appendAll( op.cut(tabs) ));
offset.forEach(op => noff.appendAll( op.cut(POLY.union(tabs)) ));
return noff;
}