Files
deepseek-harness/apps
Yichen Jiang 2d44c4ecc9 fix(forge-panel): let scroll anchoring keep a jumped-to file in place
The per-frame alignment after a jump pulled back scrolls it did not start,
such as a script or find in page setting the scroll position. Measured on
#7985, the browser's scroll anchoring already keeps an early, middle, or
late jump target at the top while the sections above it draw.
2026-11-09 12:07:17 +08:00
..