--- 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,