base red: themes playground search field shows no focus ring (web-lint check:text-focus)
Merged
LA
3d ago+1+1+0123456789-0-0-0123456789
Base red, priority zero. The feat tip web-lint has been red since c98a19b2a920 (STATUS 9523): check:text-focus reports AllThemesPlaygroundView.swift:18: a SwiftUI text field without .focusEffectDisabled(), from the direct push c0230efd501 (all-themes playground).
The search field now has .focusEffectDisabled(), the same one-modifier fix as #33979.
Changelog
none
Observed / Not run
- Observed:
python3 scripts/cmux-next/check-text-focus-rings.pyfails on the base and passes on the head; the pre-push gate passes. - Not run: a build or a capture of the playground (one view modifier; the playground is a debug surface).
![Autofix with [code]smith](https://pr-comments-assets.blacksmith.sh/codesmith/autofix-with-codesmith-dark-3x.png)
Open in [code]smith · Need help on this PR? Tag @codesmith-bot with what you need.
Summary by cubic
Fixes the themes playground search field focus ring so the check:text-focus lint gate passes again. Adds .focusEffectDisabled(), the same one-modifier fix as #33979.