(i: number)
| 470 | // (was a safety net for frac garbage — without frac, est IS the next |
| 471 | // message's top, spam-n/N converges because message tops are ordered). |
| 472 | function targetFor(i: number): number { |
| 473 | const top = jumpState.current.getItemTop(i); |
| 474 | return Math.max(0, top - HEADROOM); |
| 475 | } |
| 476 | |
| 477 | // Highlight positions[ord]. Positions are MESSAGE-RELATIVE (row 0 = |
| 478 | // element top, from scanElement). Compute rowOffset = getItemTop - |
no test coverage detected