Folks, I would like to open this up again.
Code Mirror on both latest FireFox and Chrome seems to not operate within the codeMirror text editor (plugins). FireFox is my preferred Browser for many reasons, although I use both. - I use the browsers spell checker in both cases, and whilst they leave a little to be desired is there a solution path to this problem? - Perhaps there are better in browser spell checkers, or can we extend the code-mirror plugins to include a spell checking module? Perhaps a worst case scenario would be including the dictionary in a tiddlywiki plugin, but if it was in "selected" tiddlywikis and word lookup could take place accessible it could be a boon to the authors with in our number as well as those that love playing with language. I remember pre internet days the joy of using an equivalent of regex to find the longest wort beginning "auto" or psycho was a lot of fun, or tiddlywiki could be used for scrabble and cross word builders and more. Any solutions/Thoughts? Regards Tony On Wednesday, March 29, 2017 at 3:48:07 AM UTC+11, Jeff Vance wrote: > > I did a search and saw this question come up several times in the past, > but there has never been a clear answer. The browser's spell check does not > work when using the Code Mirror plugin. In the past threads, the solution > was always to disable Code Mirror! To me, that is not really a solution. > I'd rather keep Code Mirror and just try to be more careful with my > spelling. But I keep noticing typos when I go back to read things later. > Is there really no way to get the spell check to work again? > -- You received this message because you are subscribed to the Google Groups "TiddlyWiki" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/tiddlywiki. To view this discussion on the web visit https://groups.google.com/d/msgid/tiddlywiki/d7d7a9f3-d840-43a2-aa3f-58b19674660d%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
