eric6/Preferences/__init__.py

changeset 7750
b16930e5baa9
parent 7726
b1ade4fcf05f
child 7757
1f9f35f9be6d
--- 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",

eric ide

mercurial