Theia: Request for Spell Checker

[adrienrenaud]

A spell checker would be useful for markdown files.

[vince-fugnitto]

I've had success in vscode using Code Spell Checker, perhaps it'd be enough for your needs?
We are currently strengthening our plugin system to achieve compatibility with vscode extensions, and it'd be good to test the extension in Theia to notice any issues :)

[adrienrenaud]

Thanks @vince-fugnitto ! Does that mean that it is possible today to install vscode extensions in theia? Could you point me on an guide on how to do that?

[vince-fugnitto]

@adrienrenaud yes it definitely is! A lot of extensions currently work and we are strengthening our support for them.

You can follow the following guide, and always ask for clarifications or help if needed :)

The main idea is that you include a plugin folder under the main theia repo folder, and download plugins from vscode (.vsix files) to later add them to the folder so that Theia can discover them.

[adrienrenaud]

Thanks a lot for this information, it looks amazing! I'm will try the Code Spell Checker in the coming days - as well as other extensions!

[kittaakos]

vscode using Code Spell Checker,

This. The one and only VS Code extension I am using. It works perfectly for markdown and code as well.

[vince-fugnitto]

vscode using Code Spell Checker,

This. The one and only VS Code extension I am using. It works perfectly for markdown and code as well.

did you get the chance to try in Theia @kittaakos ? 😄

[vince-fugnitto]

@kittaakos I got the chance to try the code spell checker in Theia and got errors, so the compatibility is still not yet reached. One example error is the following:

[Error - 15:47:28] Request textDocument/codeAction failed.
  Message: Request textDocument/codeAction failed with message: Cannot destructure property `exclude` of 'undefined' or 'null'.
  Code: -32603 

[akosyakov]

@vince-fugnitto please file an issue, we need to track and fix them

[adrienrenaud]

streetsidesoftware.code-spell-checker seems to work fine for me with the browser example in d380b17fee13d4c3042edd2884e58886d80528dd. Thanks

[vince-fugnitto]

@adrienrenaud thanks that's great news!
If there are ever any incompatibilities or bugs regarding support for the extension please feel free to open issues so we can track and fix them 👍