diff -r 6a3b0acda958 -r 1b67aa43ec93 src/eric7/Preferences/__init__.py --- a/src/eric7/Preferences/__init__.py Fri Oct 13 08:30:15 2023 +0200 +++ b/src/eric7/Preferences/__init__.py Fri Oct 13 09:10:05 2023 +0200 @@ -52,6 +52,7 @@ from eric7.EricWidgets import EricFileDialog from eric7.EricWidgets.EricApplication import ericApp from eric7.EricWidgets.EricIconBar import EricIconBar +from eric7.QScintilla.QsciScintillaCompat import QsciScintillaPrintColorMode from eric7.QScintilla.Shell import ShellHistoryStyle from eric7.SystemUtilities import OSUtilities, PythonUtilities, QtUtilities from eric7.Utilities.crypto import pwConvert @@ -625,6 +626,7 @@ "SourceOutlineShowCoding": True, "DocstringType": "ericdoc", "DocstringAutoGenerate": True, + "PrintColorMode": QsciScintillaPrintColorMode.Normal, # All (most) lexers "AllFoldCompact": True, # Bash specifics @@ -2427,6 +2429,10 @@ return json.loads(overrideStr) else: return {} + elif key == "PrintColorMode": + return QsciScintillaPrintColorMode( + int(Prefs.settings.value("Editor/" + key, Prefs.editorDefaults[key])) + ) else: return toBool(Prefs.settings.value("Editor/" + key, Prefs.editorDefaults[key])) @@ -2440,6 +2446,8 @@ """ if key == "TabIndentOverride": Prefs.settings.setValue("Editor/" + key, json.dumps(value)) + elif key == "PrintColorMode": + Prefs.settings.setValue("Editor/" + key, value.value) else: Prefs.settings.setValue("Editor/" + key, value)