There seems to be a solution mentioned at the bottom of this
thread
https://stackoverflow.com/questions/12343922/codemirror-with-spell-checker
Unfortunately I do not know how to implement it, but it would be worth
raising it on github, it looks it may be quite easy.
*In CodeMirror 5.18.0 and above, you can set inputStyle:
'contenteditable' with spellcheck: true to be able to use your web
browser's spellcheck features. For example:*
*var myTextArea = document.getElementById('my-text-area'); var editor =
CodeMirror.fromTextArea(myTextArea, { inputStyle: 'contenteditable',
spellcheck: true, }); *
*The relevant commits that made this solution possible are:*
- *Make inputStyle an option, move relevant logic into TextareaInput
<https://github.com/codemirror/CodeMirror/commit/0dc2189b43433e64799731c3265d49879263430a>
(CodeMirror
5.0.0, February 2015)*
- *Add experimental spellcheck option
<https://github.com/codemirror/CodeMirror/commit/c5c1e9272504445a11cec3afc7253fe35db4f46c>
(CodeMirror
5.18.0, August 2016)*
Regards
Tones
On Thursday, 1 July 2021 at 23:01:03 UTC+10 Si wrote:
> Hi Tones, mehequeda
>
> Thanks a lot - I had seen that method suggested by Jeremy in an older
> thread relating to this topic. @mehequeda I really appreciate you
> providing instructions - thank you!
>
> In general though I was hoping to find a browser extension that could look
> directly into the CodeMirror text-box so I can see corrections while I am
> writing, but I will use that workaround if nothing comes up.
> On Thursday, 1 July 2021 at 12:11:43 UTC+1 PMario wrote:
>
>> Uuups, I didn't read the text in the screenshot.
>>
>> It is a spell-checker and not a grammar checker. I don't know if there is
>> a plugin, that also checks for the grammar.
>> -m
>>
>> On Thursday, July 1, 2021 at 12:34:00 PM UTC+2 S² wrote:
>>
>>> Hello,
>>>
>>> spell check is not working:
>>>
>>> [image: spell check.png]
>>>
>>> Regards
>>> Stefan
>>> PMario schrieb am Donnerstag, 1. Juli 2021 um 11:06:30 UTC+2:
>>>
>>>> I did create an issue:
>>>> https://github.com/Jermolene/TiddlyWiki5/issues/5841 at github
>>>>
>>>> -m
>>>> On Thursday, July 1, 2021 at 11:03:03 AM UTC+2 PMario wrote:
>>>>
>>>>> Hi,
>>>>> That's a very clever approach, since 3rd party libraries are always
>>>>> huge in size, since they need language specific dictionaries.
>>>>>
>>>>> IMO we should ship this little tweak with the codemirror plugin, so it
>>>>> is available by default
>>>>>
>>>>> -mario
>>>>>
>>>>> On Thursday, July 1, 2021 at 10:14:52 AM UTC+2 mehequeda...@gmail.com
>>>>> wrote:
>>>>>
>>>>>> I did exactly that to get the standard browser spell checker.
>>>>>> [image: spell_check.png]
>>>>>>
>>>>>> To get this I created a new tiddler:
>>>>>>
>>>>>> - named $:/custom/ui/EditTemplate/body/preview/spellcheck
>>>>>>
>>>>>> <https://tiddlywiki.refeed.org/#%24%3A%2Fcustom%2Fui%2FEditTemplate%2Fbody%2Fpreview%2Fspellcheck>
>>>>>> - tagged with $:/tags/EditPreview
>>>>>> - field caption set to spell check
>>>>>> - content: <$edit-text class="tc-tiddler-frame"/>
>>>>>>
>>>>>> Alternatively you can import the tiddler from the attached file.
>>>>>>
>>>>>> And that's all.
>>>>>>
>>>>>> On Thursday, 1 July 2021 at 00:52:08 UTC+2 TW Tones wrote:
>>>>>>
>>>>>>> Si,
>>>>>>>
>>>>>>> I came across this in the past and created a simple alternative
>>>>>>> editor to open the same tiddler as a simple textarea to enable
>>>>>>> Grammarly.
>>>>>>> Its just a spell check process.
>>>>>>>
>>>>>>> Tones
>>>>>>>
>>>>>>> On Thursday, 1 July 2021 at 05:30:43 UTC+10 Si wrote:
>>>>>>>
>>>>>>>>
>>>>>>>> I'm wondering if anyone knows of a spell checker browser extension
>>>>>>>> that works with the CodeMirror plugin? I've tried Grammerly to no
>>>>>>>> avail.
>>>>>>>>
>>>>>>>
--
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 tiddlywiki+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/tiddlywiki/714891db-66a3-4425-b9d6-de324a1f4fc2n%40googlegroups.com.
