vinzenz/hyperhive
vinzenz/hyperhive
Watch
0
0
Fork
You've already forked hyperhive
 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix(term): store text node ref for thinking_tokens, drop DOM dance

Browse source
This commit is contained in:
damocles 2026-07-05 12:20:37 +02:00
commit dc63bfcb23
1 changed files with 9 additions and 12 deletions
Download patch file Download diff file Expand all files Collapse all files

21
frontend/packages/agent/src/app.js
View file

@ -1886,11 +1886,12 @@ window.marked = marked;
return false;
}
// Coalescing target for the live `thinking_tokens` counter.
// Holds the row currently showing the running estimate so consecutive
// ticks update in place instead of appending a note each. Reset
// implicitly: we only reuse it while it's still the last row rendered
// (see the nextElementSibling check), so any other event starts fresh.
// Holds the row + its text node so consecutive ticks update in place
// instead of appending a note each. Reset implicitly: we only reuse
// it while it's still the last row rendered (nextElementSibling ===
// null), so any other event starts fresh.
let thinkingTokensRow = null;
let thinkingTokensText = null;
function renderStream(v, api) {
// Drop claude's result line and rate-limit — noise. TurnEnd
// communicates pass/fail; rate-limit events are noisy status chatter.
@ -1930,15 +1931,11 @@ window.marked = marked;
+ (n != null ? '~' + Number(n).toLocaleString() + ' tokens' : '');
if (thinkingTokensRow && thinkingTokensRow.isConnected
&& thinkingTokensRow.nextElementSibling === null) {
// Update only the text portion after the icon glyph
// (textContent would clobber the .row-glyph span).
const glyph = thinkingTokensRow.querySelector('.row-glyph');
[...thinkingTokensRow.childNodes].forEach((node) => {
if (node !== glyph) thinkingTokensRow.removeChild(node);
});
thinkingTokensRow.appendChild(document.createTextNode(text));
thinkingTokensText.nodeValue = text;
} else {
thinkingTokensRow = api.row('note', text, '🧠');
thinkingTokensRow = api.row('note', '', '🧠');
thinkingTokensText = document.createTextNode(text);
thinkingTokensRow.appendChild(thinkingTokensText);
}
return;
}