src/eric7/Preferences/__init__.py

branch
eric7
changeset 10244
1b67aa43ec93
parent 10237
17ab17a3e6b3
child 10247
81f8846b62ad
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)
 

eric ide

mercurial