remove merged objects from workspace

2024-09-26 21:47:36 -04:00 · 2024-09-26 21:47:36 -04:00 · f333189eee
commit f333189eee
parent 2726288d7e
1 changed files with 1 additions and 0 deletions
--- a/src/kiri/selection.js
+++ b/src/kiri/selection.js
@ -210,6 +210,7 @@ function merge() {
        }
    });
    let w = api.platform.load_verts([], obj, "merged");
+    api.platform.delete(sel);
    api.platform.select(w);
 }