From f333189eeea2bc21ddd5c8005125087fe7ee04de Mon Sep 17 00:00:00 2001
From: Stewart Allen <stewart.allen@gmail.com>
Date: Thu, 26 Sep 2024 21:47:36 -0400
Subject: [PATCH] remove merged objects from workspace

---
 src/kiri/selection.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/kiri/selection.js b/src/kiri/selection.js
index f8bcf580..c889582b 100644
--- 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);
 }