--- a/eric6/Preferences/__init__.py Thu Oct 03 11:12:50 2019 +0200 +++ b/eric6/Preferences/__init__.py Fri Nov 01 16:11:27 2019 +0100 @@ -232,6 +232,10 @@ "DownloadPath": "", "RequestDownloadFilename": True, "CheckErrorLog": True, + "MinimumMessageTypeSeverity": 2, # 0 = QtDebugMsg + # 1 = QtWarningMsg + # 2 = QtCriticalMsg, QtSystemMsg + # 3 = QtFatalMsg "LogStdErrColour": QColor(Qt.red), "NotificationsEnabled": True, @@ -458,6 +462,8 @@ "SpellCheckingDefaultLanguage": "en_US", "SpellCheckingPersonalWordList": "", "SpellCheckingPersonalExcludeList": "", + "FullSpellCheckExtensions": ["md", "markdown", "rst", "txt"], + "FullSpellCheckUnknown": False, "DefaultEncoding": "utf-8", "DefaultOpenFilter": QCoreApplication.translate( @@ -469,13 +475,17 @@ "ZoomFactor": 0, + "PreviewRefreshWaitTimer": 500, # wait time in milliseconds "PreviewHtmlFileNameExtensions": ["html", "htm", "svg", "asp", "kid"], "PreviewMarkdownFileNameExtensions": ["md", "markdown"], "PreviewRestFileNameExtensions": ["rst"], "PreviewQssFileNameExtensions": ["qss"], "PreviewRestUseSphinx": False, - "PreviewMarkdownNLtoBR": True, - "PreviewMarkdownHTMLFormat": "XHTML1", # XHTML1, HTML4, HTML5 + "PreviewMarkdownNLtoBR": False, + "PreviewMarkdownUsePyMdownExtensions": True, + "PreviewMarkdownMathJax": True, + "PreviewMarkdownMermaid": True, + "PreviewMarkdownHTMLFormat": "HTML5", # XHTML1, HTML4, HTML5 "PreviewRestDocutilsHTMLFormat": "HTML5", # HTML4, HTML5 "VirtualSpaceOptions": QsciScintilla.SCVS_NONE, @@ -1867,7 +1877,7 @@ "ProxyType/Ftp", "OpenOnStartup", "PerformVersionCheck", "RecentNumber", "NotificationTimeout", "SidebarDelay", "KeyboardInputInterval", - "BackgroundServiceProcesses"]: + "BackgroundServiceProcesses", "MinimumMessageTypeSeverity"]: return int(prefClass.settings.value( "UI/" + key, prefClass.uiDefaults[key])) elif key in ["ProxyPassword/Http", "ProxyPassword/Https", @@ -2035,14 +2045,16 @@ "PostScriptLevel", "EOLMode", "ZoomFactor", "WhitespaceSize", "OnlineSyntaxCheckInterval", "OnlineChangeTraceInterval", "WrapLongLinesMode", "WrapVisualFlag", "WrapIndentMode", - "WrapStartIndent", "CallTipsPosition", "VirtualSpaceOptions"]: + "WrapStartIndent", "CallTipsPosition", "VirtualSpaceOptions", + "PreviewRefreshWaitTimer"]: return int(prefClass.settings.value( "Editor/" + key, prefClass.editorDefaults[key])) elif key in ["AdditionalOpenFilters", "AdditionalSaveFilters", "PreviewMarkdownFileNameExtensions", "PreviewRestFileNameExtensions", "PreviewHtmlFileNameExtensions", - "PreviewQssFileNameExtensions"]: + "PreviewQssFileNameExtensions", + "FullSpellCheckExtensions"]: return toList(prefClass.settings.value( "Editor/" + key, prefClass.editorDefaults[key])) elif key in ["PythonBadIndentation"]: