diff --git a/src/kiri-mode/cam/client.js b/src/kiri-mode/cam/client.js index 68262984..f92dfe4e 100644 --- a/src/kiri-mode/cam/client.js +++ b/src/kiri-mode/cam/client.js @@ -747,6 +747,7 @@ CAM.init = function(kiri, api) { } // clear traces cache CAM.traces_clear(); + kiri.client.clear(); flipping = false; process.ops = op2; process.op2 = ops; diff --git a/src/kiri-mode/cam/driver.js b/src/kiri-mode/cam/driver.js index 0ffb20d9..5f6d498c 100644 --- a/src/kiri-mode/cam/driver.js +++ b/src/kiri-mode/cam/driver.js @@ -139,6 +139,7 @@ kiri.load(api => { kiri.worker.cam_traces_clear = function(data, send) { for (let widget of Object.values(kiri.worker.cache)) { delete widget.traces; + delete widget.topo; } send.done({}); };