Theme selection interface for code editor customization.

settings - Captured on 4/12/2025 by @romain-penchenat