[theme demo] Fix dropdown losing choice on solarized light / dark#7122

marijnh merged 1 commit intocodemirror:mastercodemirror/codemirror5:masterfrom

cben:theme-demo-location-hashcben/CodeMirror5:theme-demo-location-hashCopy head branch name to clipboard