checkpoint trace work

2020-12-01 00:02:34 -05:00 · 2020-12-01 00:02:34 -05:00 · 4065de5139
commit 4065de5139
parent d17677e2ff
5 changed files with 77 additions and 11 deletions
--- a/src/kiri/init.js
+++ b/src/kiri/init.js
@ -2015,7 +2015,7 @@
                    API.event.emit('mouse.hover.down', {int, point: int.point});
                    return;
                }
-                return// API.widgets.meshes().slice().append(SPACE.internals().platform);
+                return;
            }
            // lay flat with meta or ctrl clicking a selected face
            if (int && (event.ctrlKey || event.metaKey || API.feature.on_face_select)) {