base red: themes playground search field shows no focus ring (web-lint check:text-focus)

Merged
LA
3d ago
+1-0

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.py fails 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
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.