--- a/src/eric7/Preferences/ConfigurationPages/EditorSearchPage.ui Tue Jul 25 13:14:27 2023 +0200 +++ b/src/eric7/Preferences/ConfigurationPages/EditorSearchPage.ui Tue Jul 25 16:41:52 2023 +0200 @@ -42,7 +42,7 @@ </widget> </item> <item> - <widget class="QGroupBox" name="groupBox_4"> + <widget class="QGroupBox" name="searckMarkersBox"> <property name="title"> <string>Search Markers</string> </property> @@ -210,7 +210,7 @@ <item> <layout class="QHBoxLayout" name="horizontalLayout_8"> <item> - <widget class="QLabel" name="label_20"> + <widget class="QLabel" name="highlightingBackgroundLabel"> <property name="text"> <string>Search Area Highlighting:</string> </property>