From dec6827909b823ca067ffa4879e4aa898a71b54c Mon Sep 17 00:00:00 2001 From: Stewart Allen Date: Thu, 7 Apr 2022 17:57:34 -0400 Subject: [PATCH] close edits and pops on operation add/delete --- src/kiri-mode/cam/client.js | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/kiri-mode/cam/client.js b/src/kiri-mode/cam/client.js index a385f13f..3e3c9090 100644 --- a/src/kiri-mode/cam/client.js +++ b/src/kiri-mode/cam/client.js @@ -252,6 +252,7 @@ CAM.init = function(kiri, api) { // OPS FUNCS api.event.on("cam.op.add", func.opAdd = (rec) => { if (!isCamMode) return; + func.clearPops(); let oplist = current.process.ops; if (oplist.indexOf(rec) < 0) { oplist.push(rec); @@ -262,6 +263,7 @@ CAM.init = function(kiri, api) { api.event.on("cam.op.del", func.opDel = (rec) => { if (!isCamMode) return; + func.clearPops(); let oplist = current.process.ops; let pos = oplist.indexOf(rec); if (pos >= 0) {