#1309 Centralize customized word list for both TexStudio and LanguageTool

[Xiaodong]

I found it is curbersome to turn on both LanguageTool and the TexStudio's own spell check, since these tools actually use different sets of dictionaries. I propose to have a feature in TeXstudio so that one can share the wordlist created by the usual "add to my dictionary" function between both the *.ign dictionary installed by TeXstudio and the ignore.txt file under LanguageTool. Insider TeXstudio, there should be a script to merge the changes from both side to make sure the ignore list is the most complete version.

Or, TeXstudio should allow uses to easily turn off LanguageTool for spell checking with an explict settings option in the configuration interface.

Either way, it would be really nice to have a shared ignore list for all spell checkers which is independent of TeXstudio's installation. The current situation of having the *.ign file under TeXstudio is that this file will be lost if TeXstudio got upgraded... This is very annoying to me and possibly to many others as well.

Hope this proposal is doable and clear. Thanks!

[Tim Hoffmann]

turn off LanguageTool for spell checking

You can set Options -> Language Checking -> LanguageTool -> Ignored Rules. The rule name is given in every tooltip on an error.

synchronize LanguageTool and hunspell

This is technically difficult. In general, we won't have access to LanguageTool ignore.txt.

[Benito van der Zander]

Perhaps you can set a hard/sym link between the ign file and the ignore.txt