if (theme_value.localeCompare('mahou') === 0) {
new_theme = donsol.mahouTheme
}
+ if (theme_value.localeCompare('marble') === 0) {
+ new_theme = donsol.marbleTheme
+ }
if (theme_value.localeCompare('nightowl') === 0) {
new_theme = donsol.nightowlTheme
}
this.theme_button.innerHTML += '<option value=\"laundry\">Laundry</option>'
this.theme_button.innerHTML += '<option value=\"lotus\">Lotus</option>'
this.theme_button.innerHTML += '<option value=\"mahou\">Mahou</option>'
+ this.theme_button.innerHTML += '<option value=\"marble\">Marble</option>'
this.theme_button.innerHTML += '<option value=\"nightowl\">Night Owl</option>'
this.theme_button.innerHTML += '<option value=\"roguelite\">Roguelite</option>'
this.theme_button.innerHTML += '<option value=\"tape\">Tape</option>'