Preferences/__init__.py

changeset 5733
aed3e558407f
parent 5706
59458b006d76
child 5736
000ea446ff4b
--- a/Preferences/__init__.py	Sat May 06 14:59:26 2017 +0200
+++ b/Preferences/__init__.py	Thu May 11 18:26:56 2017 +0200
@@ -403,6 +403,7 @@
         "ColourizeSelText": False,
         "CustomSelectionColours": False,
         "ExtendSelectionToEol": False,
+        "LineMarkersBackground": True,
         
         "AutoPrepareAPIs": False,
         
@@ -607,6 +608,8 @@
         editorDefaults["CallTipsPosition"] = 0
     
     editorColourDefaults = {
+        "CurrentMarker": QColor(Qt.yellow),
+        "ErrorMarker": QColor(Qt.red),
         "MatchingBrace": QColor(Qt.green),
         "MatchingBraceBack": QColor(Qt.white),
         "NonmatchingBrace": QColor(Qt.red),

eric ide

mercurial