--- a/src/eric7/Preferences/ConfigurationPages/EditorGeneralPage.ui Tue Jul 25 13:14:27 2023 +0200 +++ b/src/eric7/Preferences/ConfigurationPages/EditorGeneralPage.ui Tue Jul 25 16:41:52 2023 +0200 @@ -385,7 +385,7 @@ </widget> </item> <item> - <widget class="QGroupBox" name="groupBox"> + <widget class="QGroupBox" name="commentsGroupBox"> <property name="title"> <string>Comments</string> </property> @@ -407,7 +407,7 @@ </widget> </item> <item> - <widget class="QGroupBox" name="groupBox_3"> + <widget class="QGroupBox" name="docstringGroupBox"> <property name="title"> <string>Docstring</string> </property> @@ -509,7 +509,7 @@ </widget> </item> <item> - <widget class="QGroupBox" name="groupBox_2"> + <widget class="QGroupBox" name="virtualSpaceGroupBox"> <property name="title"> <string>Virtual Space</string> </property>