Preferences/__init__.py

changeset 6648
c09e6c6006eb
parent 6645
ad476851d7e0
child 6657
c6a93bbd66a5
--- 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