settings: Migrate to new RadioGroup API; write widget tests for two just-added settings#1602
Merged
gnprice merged 4 commits intozulip:mainfrom Jul 23, 2025
Merged
Commits
Commits on Jul 22, 2025
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted