if (theme_value.localeCompare('teletext') === 0) {
new_theme = donsol.teletextTheme
}
+ if (theme_value.localeCompare('vacuui') === 0) {
+ new_theme = donsol.vacuuiTheme
+ }
donsol.theme = new Theme(new_theme)
donsol.theme.load(new_theme)
donsol.theme.install(document.body)
this.theme_button.innerHTML += '<option value=\"tape\">Tape</option>'
this.theme_button.innerHTML += '<option value=\"teenage\">Teenage</option>'
this.theme_button.innerHTML += '<option value=\"teletext\">Teletext</option>'
+ this.theme_button.innerHTML += '<option value=\"vacuui\">Vacuui</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) })