Fix theme names being translated in config panel