CodeMirror/manuskript
1
0
Fork 0
mirror of https://github.com/olivierkes/manuskript.git synced 2024-05-16 19:02:32 +12:00
Code Issues Projects Releases Wiki Activity

Fix changing language in LanguageTool spellchecker

Browse source 
Signed-off-by: TheJackiMonster <thejackimonster@gmail.com>
This commit is contained in:
TheJackiMonster 2021-04-16 19:44:24 +02:00
parent 9ed2b674a2
commit fc08e9b740
No known key found for this signature in database
GPG key ID: D850A5F772E880F9
1 changed files with 16 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

26
manuskript/functions/spellchecker.py
View file

@ -538,20 +538,24 @@ def get_languagetool_locale_language():
class LanguageToolDictionary(BasicDictionary):
if languagetool:
_tool = languagetool.LanguageTool()
else:
_tool = None
_tool = None
def __init__(self, name):
BasicDictionary.__init__(self, name)
if not (self._lang and self._lang in get_languagetool_languages(self._tool)):
if not (self._lang and self._lang in get_languagetool_languages(self.getTool())):
self._lang = self.getDefaultDictionary()
self._tool.language(self._lang)
self.tool = languagetool.LanguageTool(self._lang)
self._cache = {}
@staticmethod
def getTool():
if LanguageToolDictionary._tool == None:
LanguageToolDictionary._tool = languagetool.LanguageTool()
return LanguageToolDictionary._tool
@staticmethod
def getLibraryName():
return "LanguageTool"
@ -577,7 +581,8 @@ class LanguageToolDictionary(BasicDictionary):
@staticmethod
def availableDictionaries():
if LanguageToolDictionary.isInstalled():
languages = list(get_languagetool_languages(LanguageToolDictionary._tool))
tool = LanguageToolDictionary.getTool()
languages = list(get_languagetool_languages(tool))
languages.sort()
return languages
@ -589,8 +594,9 @@ class LanguageToolDictionary(BasicDictionary):
return None
default_locale = get_languagetool_locale_language()
tool = LanguageToolDictionary.getTool()
if default_locale and not default_locale in get_languagetool_languages(LanguageToolDictionary._tool):
if default_locale and not default_locale in get_languagetool_languages(tool):
default_locale = None
if default_locale == None:
@ -610,12 +616,12 @@ class LanguageToolDictionary(BasicDictionary):
cacheEntry = None
if not textId in self._cache:
cacheEntry = LanguageToolCache(self._tool, text)
cacheEntry = LanguageToolCache(self.tool, text)
self._cache[textId] = cacheEntry
else:
cacheEntry = self._cache[textId]
cacheEntry.update(self._tool, text)
cacheEntry.update(self.tool, text)
for match in cacheEntry.getMatches():
word = match.getWord(text)