From 84a6c983233a7aa660a274e98001a4a59a6b76ec Mon Sep 17 00:00:00 2001 From: Stewart Allen Date: Mon, 17 Oct 2022 15:20:06 -0400 Subject: [PATCH] fix repop of op with touch --- src/kiri-mode/cam/client.js | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/kiri-mode/cam/client.js b/src/kiri-mode/cam/client.js index 8077bd5c..8c3ca337 100644 --- a/src/kiri-mode/cam/client.js +++ b/src/kiri-mode/cam/client.js @@ -351,6 +351,7 @@ CAM.init = function(kiri, api) { bounds.push(el); let timer = null; let inside = true; + let popped = false; let poprec = popOp[rec.type]; el.rec = rec; el.unpop = () => { @@ -358,6 +359,7 @@ CAM.init = function(kiri, api) { if (pos >= 0) { el.removeChild(poprec.div); } + popped = false; }; function onEnter(ev) { if (poppedRec && poppedRec != rec) { @@ -369,6 +371,7 @@ CAM.init = function(kiri, api) { inside = true; // pointer to current rec for trace editing poppedRec = rec; + popped = true; poprec.use(rec); hoveredOp = el; el.appendChild(poprec.div); @@ -454,7 +457,7 @@ CAM.init = function(kiri, api) { } if (moto.space.info.mob) { el.ontouchstart = (ev) => { - if (poppedRec === rec) { + if (poppedRec === rec && popped) { onLeave(ev); } else { onEnter(ev);