Remove duplicate code in settings_menu#473

Merged

chrisib merged 1 commit into

Allen-Synthesis:mainfrom

chrisib:fix-menu-duplicate-code

Jul 5, 2026

Commits on Jul 5, 2026

Remove duplicate code in settings_menu that was accidentally copied & pasted in at some point.
chrisib
committed