Hi Github devs/contributors,
The built-in file editor is super convenient to make quick, small changes. It’s especially convenient for docs and such, where there’s no need to run/test any code. In particular, I use it on a regular basis to edit Markdown files. The format highlighting and preview tool makes that super easy.
However, there’s just one thing that bugs me: it doesn’t have a spellcheck feature. Worse, it disables chrome’s built-in spellcheck.
To get around this problem, I’ve created a simple but brutish Tampermonkey script to delete the
spellcheck attribute on the
CodeMirror-code div. This re-enables spellcheck, but I have no idea what kind of negative consequences it’ll have. Plus, it’ll definitely be weird for non-text, non-markdown files.
So, here’s my request: for text-like files, remove the
spellcheck='false' attribute in the CodeMirror. Or, even better, make it toggle-able, so we can choose.
Of course, it’s also possible that I’m just missing a setting or something somewhere, in which case I’d be happy to be nudged in the right direction.