Skip to content

HTML polish: tool titles, AskUserQuestion, fold bar, thinking borders#70

Merged
cboos merged 8 commits intomainfrom
dev/another-html-polish-round
Dec 28, 2025
Merged

HTML polish: tool titles, AskUserQuestion, fold bar, thinking borders#70
cboos merged 8 commits intomainfrom
dev/another-html-polish-round

Commits

Commits on Dec 28, 2025