if (theme_value.localeCompare('vacuui') === 0) {
new_theme = donsol.vacuuiTheme
}
+ if (theme_value.localeCompare('zenburn') === 0) {
+ new_theme = donsol.zenburnTheme
+ }
donsol.theme = new Theme(new_theme)
donsol.theme.load(new_theme)
donsol.theme.install(document.body)
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.innerHTML += '<option value=\"zenburn\">Zenburn</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) })