Preferences/__init__.py

changeset 6278
13fd8759f981
parent 6237
8abadfc5b7cb
child 6281
9f7bbfd6545d
--- a/Preferences/__init__.py	Sun May 06 15:23:02 2018 +0200
+++ b/Preferences/__init__.py	Mon May 07 19:32:49 2018 +0200
@@ -490,6 +490,8 @@
         
         "MouseClickHandlersEnabled": True,
         
+        "ShowMarkerMapOnRight": True,
+        
         # All (most) lexers
         "AllFoldCompact": True,
         

eric ide

mercurial