if (theme_value.localeCompare('sonicPi') === 0) {
new_theme = donsol.sonicPiTheme
}
+ if (theme_value.localeCompare('soyuz') === 0) {
+ new_theme = donsol.soyuzTheme
+ }
if (theme_value.localeCompare('tape') === 0) {
new_theme = donsol.tapeTheme
}
this.theme_button.innerHTML += '<option value=\"solarizedDark\">Solarized Dark</option>'
this.theme_button.innerHTML += '<option value=\"solarizedLight\">Solarized Light</option>'
this.theme_button.innerHTML += '<option value=\"sonicPi\">Sonic Pi</option>'
+ this.theme_button.innerHTML += '<option value=\"soyuz\">Soyuz</option>'
this.theme_button.innerHTML += '<option value=\"tape\">Tape</option>'
this.theme_button.addEventListener('mousedown', () => { donsol.player.change_theme(this.theme_button.value) })
this.theme_button.addEventListener('change', () => { donsol.player.change_theme(this.theme_button.value) })