chore: remove dead code for todoread tool (#19128)

This commit is contained in:
Aiden Cline 2026-03-25 11:21:42 -05:00 committed by GitHub
commit 77fc88c8ad
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
87 changed files with 5 additions and 528 deletions

View file

@ -85,7 +85,7 @@ function list<T>(value: T[] | undefined | null, fallback: T[]) {
return fallback
}
const hidden = new Set(["todowrite", "todoread"])
const hidden = new Set(["todowrite"])
function partState(part: PartType, showReasoningSummaries: boolean) {
if (part.type === "tool") {