diff -r d4986df5d2e4 -r 0c491346bb8e src/eric7/Preferences/ConfigurationPages/EditorGeneralPage.ui --- a/src/eric7/Preferences/ConfigurationPages/EditorGeneralPage.ui Mon Dec 05 15:08:18 2022 +0100 +++ b/src/eric7/Preferences/ConfigurationPages/EditorGeneralPage.ui Mon Dec 05 16:11:34 2022 +0100 @@ -7,10 +7,10 @@ <x>0</x> <y>0</y> <width>550</width> - <height>1000</height> + <height>1033</height> </rect> </property> - <layout class="QVBoxLayout" name="verticalLayout_3"> + <layout class="QVBoxLayout" name="verticalLayout_5"> <item> <widget class="QLabel" name="headerLabel"> <property name="text"> @@ -214,7 +214,7 @@ </column> <column> <property name="text"> - <string notr="true"> </string> + <string notr="true"/> </property> </column> </widget> @@ -276,90 +276,109 @@ </widget> </item> <item> - <widget class="QGroupBox" name="sourceOutlineGroupBox"> + <widget class="QGroupBox" name="sourceNavigationGroupBox"> <property name="toolTip"> - <string>Select to enable the source code outline view</string> + <string>Select to enable the source code navigator</string> + </property> + <property name="whatsThis"> + <string><b>Source Code Navigation</b> +<p>Select this option to enable one the two kind of source code navigation widgets. With "Source Code Outline" checked, a navigator is shown to the right of the editor. Otherwise two selector boxes are shown above the editor.</p></string> </property> <property name="title"> - <string>Source Code Outline</string> + <string>Source Code Navigation</string> </property> <property name="checkable"> <bool>true</bool> </property> - <layout class="QGridLayout" name="gridLayout_3"> - <item row="0" column="0"> - <widget class="QLabel" name="label_2"> - <property name="text"> - <string>Default Width:</string> - </property> - </widget> - </item> - <item row="0" column="1"> - <widget class="QSpinBox" name="sourceOutlineWidthSpinBox"> - <property name="toolTip"> - <string>Enter the default width of the source code outline view</string> - </property> - <property name="alignment"> - <set>Qt::AlignRight|Qt::AlignTrailing|Qt::AlignVCenter</set> - </property> - <property name="minimum"> - <number>50</number> - </property> - <property name="maximum"> - <number>498</number> - </property> - <property name="singleStep"> - <number>50</number> - </property> - </widget> - </item> - <item row="0" column="2"> - <widget class="QLabel" name="label_3"> - <property name="text"> - <string>Width Step Size:</string> - </property> - </widget> - </item> - <item row="0" column="3"> - <widget class="QSpinBox" name="sourceOutlineWidthStepSpinBox"> + <layout class="QVBoxLayout" name="verticalLayout_3"> + <item> + <widget class="QGroupBox" name="sourceOutlineGroupBox"> <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> + <string>Select to enable the source code outline view</string> </property> - <property name="minimum"> - <number>10</number> + <property name="title"> + <string>Source Code Outline</string> </property> - <property name="maximum"> - <number>100</number> - </property> - <property name="singleStep"> - <number>10</number> + <property name="checkable"> + <bool>true</bool> </property> - </widget> - </item> - <item row="0" column="4"> - <spacer name="horizontalSpacer"> - <property name="orientation"> - <enum>Qt::Horizontal</enum> - </property> - <property name="sizeHint" stdset="0"> - <size> - <width>345</width> - <height>17</height> - </size> - </property> - </spacer> - </item> - <item row="1" column="0" colspan="5"> - <widget class="QCheckBox" name="sourceOutlineShowCodingCheckBox"> - <property name="toolTip"> - <string>Select to show the source code encoding</string> - </property> - <property name="text"> - <string>Show source file encoding</string> - </property> + <layout class="QGridLayout" name="gridLayout_3"> + <item row="0" column="0"> + <widget class="QLabel" name="label_2"> + <property name="text"> + <string>Default Width:</string> + </property> + </widget> + </item> + <item row="0" column="1"> + <widget class="QSpinBox" name="sourceOutlineWidthSpinBox"> + <property name="toolTip"> + <string>Enter the default width of the source code outline view</string> + </property> + <property name="alignment"> + <set>Qt::AlignRight|Qt::AlignTrailing|Qt::AlignVCenter</set> + </property> + <property name="minimum"> + <number>50</number> + </property> + <property name="maximum"> + <number>498</number> + </property> + <property name="singleStep"> + <number>50</number> + </property> + </widget> + </item> + <item row="0" column="2"> + <widget class="QLabel" name="label_3"> + <property name="text"> + <string>Width Step Size:</string> + </property> + </widget> + </item> + <item row="0" column="3"> + <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 row="0" column="4"> + <spacer name="horizontalSpacer"> + <property name="orientation"> + <enum>Qt::Horizontal</enum> + </property> + <property name="sizeHint" stdset="0"> + <size> + <width>345</width> + <height>17</height> + </size> + </property> + </spacer> + </item> + <item row="1" column="0" colspan="5"> + <widget class="QCheckBox" name="sourceOutlineShowCodingCheckBox"> + <property name="toolTip"> + <string>Select to show the source code encoding</string> + </property> + <property name="text"> + <string>Show source file encoding</string> + </property> + </widget> + </item> + </layout> </widget> </item> </layout> @@ -554,6 +573,7 @@ <tabstop>addButton</tabstop> <tabstop>deleteButton</tabstop> <tabstop>editButton</tabstop> + <tabstop>sourceNavigationGroupBox</tabstop> <tabstop>sourceOutlineGroupBox</tabstop> <tabstop>sourceOutlineWidthSpinBox</tabstop> <tabstop>sourceOutlineWidthStepSpinBox</tabstop>