webui: fix tool selector toggle/counter, key tools by stable identity #24065
webui: fix tool selector toggle/counter, key tools by stable identity
e8410d56
allozaur
approved these changes
on 2026-06-03
ui: use SvelteSet and SvelteMap for local tool collections to satisfy…
1f9df443
allozaur
approved these changes
on 2026-06-04
ggerganov
approved these changes
on 2026-06-04
allozaur
merged
45864798
into master 22 days ago
Assignees
No one assigned
Labels
examples
server/ui
Login to write a write a comment.
Login via GitHub