--- a/eric6/Preferences/__init__.py Wed Oct 23 19:48:42 2019 +0200 +++ b/eric6/Preferences/__init__.py Wed Oct 23 19:57:12 2019 +0200 @@ -458,6 +458,8 @@ "SpellCheckingDefaultLanguage": "en_US", "SpellCheckingPersonalWordList": "", "SpellCheckingPersonalExcludeList": "", + "FullSpellCheckExtensions": ["md", "markdown", "rst", "txt"], + "FullSpellCheckUnknown": False, "DefaultEncoding": "utf-8", "DefaultOpenFilter": QCoreApplication.translate( @@ -476,6 +478,7 @@ "PreviewRestUseSphinx": False, "PreviewMarkdownNLtoBR": True, "PreviewMarkdownUsePyMdownExtensions": True, + "PreviewMarkdownMathJax": True, "PreviewMarkdownHTMLFormat": "HTML5", # XHTML1, HTML4, HTML5 "PreviewRestDocutilsHTMLFormat": "HTML5", # HTML4, HTML5 @@ -2043,7 +2046,8 @@ "PreviewMarkdownFileNameExtensions", "PreviewRestFileNameExtensions", "PreviewHtmlFileNameExtensions", - "PreviewQssFileNameExtensions"]: + "PreviewQssFileNameExtensions", + "FullSpellCheckExtensions"]: return toList(prefClass.settings.value( "Editor/" + key, prefClass.editorDefaults[key])) elif key in ["PythonBadIndentation"]: