eric6/Preferences/__init__.py

changeset 7690
a59680062837
parent 7674
60fdbaf3508f
child 7705
90a9aefd4253
--- a/eric6/Preferences/__init__.py	Fri Sep 04 18:48:52 2020 +0200
+++ b/eric6/Preferences/__init__.py	Fri Sep 04 18:50:43 2020 +0200
@@ -494,6 +494,9 @@
         "ShowMarkerCoverage": True,
         "ShowMarkerSearch": True,
         
+        "ShowSourceOutline": True,
+        "SourceOutlineWidth": 200,
+        
         # All (most) lexers
         "AllFoldCompact": True,
         
@@ -2061,7 +2064,7 @@
                  "OnlineSyntaxCheckInterval", "OnlineChangeTraceInterval",
                  "WrapLongLinesMode", "WrapVisualFlag", "WrapIndentMode",
                  "WrapStartIndent", "CallTipsPosition", "VirtualSpaceOptions",
-                 "PreviewRefreshWaitTimer"]:
+                 "PreviewRefreshWaitTimer", "SourceOutlineWidth"]:
         return int(prefClass.settings.value(
             "Editor/" + key, prefClass.editorDefaults[key]))
     elif key in ["AdditionalOpenFilters", "AdditionalSaveFilters",

eric ide

mercurial