diff options
Diffstat (limited to 'modules/ext/ui-workspace.js')
| -rw-r--r-- | modules/ext/ui-workspace.js | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/modules/ext/ui-workspace.js b/modules/ext/ui-workspace.js index be7a5e0..ee20aac 100644 --- a/modules/ext/ui-workspace.js +++ b/modules/ext/ui-workspace.js @@ -107,7 +107,10 @@ body[data-ui-mode="workspace"] #ui-root { display: flex; flex-direction: column; // a detached tree (invisible work, retained DOM). Every refresh claims a generation. let gen = 0; const refresh = async () => { - const my = ++gen; + // Do NOT bump the generation on every tick: a capture slower than the 15 s interval + // invalidated the in-flight run before it reached the later cards, so those stayed at + // "…" forever under slow storage (found by review). Teardown still bumps gen to stop it. + const my = gen; let changed = 0; for (const c of cards) { try { |