Need to reverse the logic of this comment:

```
// This change conflicts with the useTabChar setting,
// so do not change the CodeMirror option
```