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