rename io_cache -> io_trace

This commit is contained in:
Dmitry Vasilev
2023-06-27 15:03:03 +03:00
parent cd290ba1dd
commit d1de58fe1c
10 changed files with 110 additions and 110 deletions

6
src/effects.js vendored
View File

@@ -225,11 +225,11 @@ export const apply_side_effects = (prev, next, command, ui) => {
ui.logs.rerender_logs(next.logs)
if(
prev.io_cache != next.io_cache
prev.io_trace != next.io_trace
||
prev.eval_cxt?.io_cache_index != next.eval_cxt.io_cache_index
prev.eval_cxt?.io_trace_index != next.eval_cxt.io_trace_index
) {
ui.render_io_cache(next)
ui.render_io_trace(next)
}
}