Closed ahaeger closed 8 years ago
Just pushed out a patch since I think this got fixed in 396f81647cd7da4624ad0144e124bc074f459ba6
Please try updating to 0.7.1
That did it! Thanks for the fast update.
On a related note: Comments are also spell checked. I usually write todos to myself, something like % TODO Baltrunas' ideas should be explored further.
The spell checker then complains on the words "TODO" and "Baltrunas'" (which is a surname). I see the point in spell checking comments, but in this case it also kind of annoying. Maybe one should be able to turn spell checking for comments on and off? I can make another issue out of this, if you want.
I agree that the spell checking in comments is an issue. I haven't figured out the best way to resolve it yet.
Please create a new issue and I'll start working on some ideas.
When citing other papers, the spell checker picks up on the citation keys and tries to correct them. It racks up a lot of annoying warnings. See picture.
In this case, it suggests that "Dourish2004" should be "Nourished". I would like the spell checker to just skip these kinds of suggestions.