Capitan, You need to import the below plugins and tiddler to have spellcheck working: (spellcheck plugin, codemirror plugin, hacked engin.js)
1. http://codemirror-spellcheck.tiddlyspot.com/#%24%3A%2Fplugins%2Ftiddlywiki%2Fcodemirror-spellcheck 2. http://codemirror-spellcheck.tiddlyspot.com/#%24%3A%2Fplugins%2Ftiddlywiki%2Fcodemirror 3. http://codemirror-spellcheck.tiddlyspot.com/#%24%3A%2Fplugins%2Ftiddlywiki%2Fcodemirror%2Fengine.js No need to have the highlight.js as Julio said! On Tuesday, December 18, 2018 at 4:12:06 AM UTC+3:30, Julio Peña wrote: > > Hello Captain and all: > > Captain, hopefully you didn't forget to import this file? > $:/plugins/tiddlywiki/highlight > <http://codemirror-spellcheck.tiddlyspot.com/#%24%3A%2Fplugins%2Ftiddlywiki%2Fhighlight> > > Best regards, > > Julio > > On Monday, December 17, 2018 at 5:24:55 PM UTC-5, Captain Packers wrote: >> >> Thanks for the quick reply Mohammad. I've imported the codemirror and >> dictionary tiddlers into my tiddlywiki, but it does not highlight >> misspelled words in my tiddlywiki like it does in his. I wonder what I'm >> missing yet? >> >> >> On Monday, December 17, 2018 at 5:09:56 PM UTC-5, Mohammad wrote: >>> >>> Hi Capitan, >>> This code was developed by BTC, he knows the detail very well. >>> But in Summary, It uses a dictionary file plus a hacked codemirror.js >>> file. >>> >>> So, open http://codemirror-spellcheck.tiddlyspot.com/ and import those >>> two tiddlers into your wiki. >>> >>> It works in Tiddlydesktop! >>> >>> I hope BTC have a look at this thread and give you details on that. >>> >>> >>> Best >>> Mohammad >>> >> -- 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/b17306bb-b7f6-407c-a6b7-001c9945edbf%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
