PR #10848 chore: scroll anchoring follow-ups

chore: scroll anchoring follow-ups #10848

yihuiliao wants to merge 1 commit into main from chat-scroll-more-followups

chore: scroll anchoring follow-ups

f9b6b720

github-actions added AI

yihuiliao added no testing

yihuiliao added small review

LFDanLu approved these changes on 2026-10-23

yihuiliao added rsp-core

Reviewers

LFDanLu

Assignees

No one assigned

Labels

small review no testing AI rsp-core

Milestone

No milestone