This repository was archived by the owner on Apr 16, 2026. It is now read-only.
[theme demo] Fix dropdown losing choice on solarized light / dark#7122
Merged
marijnh merged 1 commit intocodemirror:masterfrom Mar 11, 2025
Merged
[theme demo] Fix dropdown losing choice on solarized light / dark#7122marijnh merged 1 commit intocodemirror:masterfrom
marijnh merged 1 commit intocodemirror:masterfrom