fix surface / trace selection copy on hover/pop/new op

This commit is contained in:
Stewart Allen 2023-03-15 13:45:53 -04:00
commit 8c32b1ba5a
3 changed files with 9 additions and 3 deletions

View file

@ -343,6 +343,8 @@ CAM.init = function(kiri, api) {
};
func.opAddPocket = () => {
func.traceDone();
func.surfaceDone();
let rec = popOp.pocket.new();
rec.surfaces = { /* widget.id: [ faces... ] */ };
func.opAdd(rec);
@ -527,6 +529,9 @@ CAM.init = function(kiri, api) {
popped = false;
};
function onEnter(ev) {
if ((surfaceOn || traceOn) && poppedRec != rec) {
return;
}
if (popped && poppedRec != rec) {
func.surfaceDone();
func.traceDone();