--- a/src/eric7/Preferences/ConfigurationPages/EditorGeneralPage.py Mon Jul 15 16:40:23 2024 +0200 +++ b/src/eric7/Preferences/ConfigurationPages/EditorGeneralPage.py Tue Jul 16 15:14:23 2024 +0200 @@ -61,9 +61,6 @@ self.sourceOutlineWidthSpinBox.setValue( Preferences.getEditor("SourceOutlineWidth") ) - self.sourceOutlineWidthStepSpinBox.setValue( - Preferences.getEditor("SourceOutlineStepSize") - ) self.sourceOutlineSortByOccurrenceCheckBox.setChecked( Preferences.getEditor("SourceOutlineListContentsByOccurrence") ) @@ -144,9 +141,6 @@ "SourceOutlineWidth", self.sourceOutlineWidthSpinBox.value() ) Preferences.setEditor( - "SourceOutlineStepSize", self.sourceOutlineWidthStepSpinBox.value() - ) - Preferences.setEditor( "SourceOutlineListContentsByOccurrence", self.sourceOutlineSortByOccurrenceCheckBox.isChecked(), )