settings: Upgrade Flutter; migrate to new RadioGroup API#1546

Closed

chrisbobbe wants to merge 3 commits intozulip:mainfrom

chrisbobbe:pr-radio-buttons-deprecation

Commits on Jun 3, 2025

deps: Upgrade Flutter to 3.33.0-1.0.pre.347
chrisbobbe
committed
settings test: Check theme-setting radio buttons by checking what paints
chrisbobbe
committed
settings: Migrate to new RadioGroup API for theme-setting radio buttons
chrisbobbe
committed