--- a/eric6/Preferences/__init__.py Sun Oct 04 15:25:17 2020 +0200 +++ b/eric6/Preferences/__init__.py Sun Oct 04 16:24:23 2020 +0200 @@ -496,6 +496,7 @@ "ShowSourceOutline": True, "SourceOutlineWidth": 200, + "SourceOutlineStepSize": 50, # All (most) lexers "AllFoldCompact": True, @@ -2097,7 +2098,8 @@ "OnlineSyntaxCheckInterval", "OnlineChangeTraceInterval", "WrapLongLinesMode", "WrapVisualFlag", "WrapIndentMode", "WrapStartIndent", "CallTipsPosition", "VirtualSpaceOptions", - "PreviewRefreshWaitTimer", "SourceOutlineWidth"]: + "PreviewRefreshWaitTimer", "SourceOutlineWidth", + "SourceOutlineStepSize"]: return int(prefClass.settings.value( "Editor/" + key, prefClass.editorDefaults[key])) elif key in ["AdditionalOpenFilters", "AdditionalSaveFilters",