--- a/src/eric7/Preferences/ConfigurationPages/EditorGeneralPage.ui Mon Jul 15 16:40:23 2024 +0200 +++ b/src/eric7/Preferences/ConfigurationPages/EditorGeneralPage.ui Tue Jul 16 15:14:23 2024 +0200 @@ -332,32 +332,6 @@ </widget> </item> <item> - <widget class="QLabel" name="label_3"> - <property name="text"> - <string>Width Step Size:</string> - </property> - </widget> - </item> - <item> - <widget class="QSpinBox" name="sourceOutlineWidthStepSpinBox"> - <property name="toolTip"> - <string>Enter the amount of pixels the width of the outline should be increased or decreased</string> - </property> - <property name="alignment"> - <set>Qt::AlignRight|Qt::AlignTrailing|Qt::AlignVCenter</set> - </property> - <property name="minimum"> - <number>10</number> - </property> - <property name="maximum"> - <number>100</number> - </property> - <property name="singleStep"> - <number>10</number> - </property> - </widget> - </item> - <item> <spacer name="horizontalSpacer"> <property name="orientation"> <enum>Qt::Horizontal</enum> @@ -634,7 +608,6 @@ <tabstop>sourceNavigationGroupBox</tabstop> <tabstop>sourceOutlineGroupBox</tabstop> <tabstop>sourceOutlineWidthSpinBox</tabstop> - <tabstop>sourceOutlineWidthStepSpinBox</tabstop> <tabstop>sourceOutlineSortByOccurrenceCheckBox</tabstop> <tabstop>sourceOutlineShowCodingCheckBox</tabstop> <tabstop>comment0CheckBox</tabstop>