i meant that we can use `setOption` and `setDefaultValue` methods for themes

```js
editor.setOption("theme", "ace/theme/..")
config.setDefaultValue("editor", "theme", "ace/theme/..") 
```

so that all options are managed in the same way.

But if you change setting name to be just `theme` it won't conflict with setOption usage in the future.