less aggressive poly cleanup. clearer stock warning

2020-04-22 17:36:49 -04:00 · 2020-04-22 17:36:49 -04:00 · dd397ee16d
commit dd397ee16d
parent 9fef4c3d19
3 changed files with 8 additions and 7 deletions
--- a/js/kiri-layer.js
+++ b/js/kiri-layer.js
@ -141,6 +141,7 @@ let gs_kiri_layer = exports;
        } else {
            poly = POLY.flatten([poly], [], true);
        }
+        if (!poly.length) return;
        poly = poly.map(p => p.clone());
        let exp = [];
        let z = poly[0].getZ();