Preferences/__init__.py

changeset 6648
c09e6c6006eb
parent 6645
ad476851d7e0
child 6657
c6a93bbd66a5
diff -r ad476851d7e0 -r c09e6c6006eb Preferences/__init__.py
--- a/Preferences/__init__.py	Thu Jan 10 14:18:48 2019 +0100
+++ b/Preferences/__init__.py	Thu Jan 10 18:01:19 2019 +0100
@@ -499,6 +499,9 @@
         "MouseClickHandlersEnabled": True,
         
         "ShowMarkerMapOnRight": True,
+        "ShowMarkerChanges": True,
+        "ShowMarkerCoverage": True,
+        "ShowMarkerSearch": True,
         
         # All (most) lexers
         "AllFoldCompact": True,

eric ide

mercurial