Audacity editing preferences panel

settings - Captured on 10/19/2025 by @romain-penchenat