--- a/src/eric7/Preferences/ConfigurationPages/EditorCalltipsPage.ui Tue Jul 25 13:14:27 2023 +0200 +++ b/src/eric7/Preferences/ConfigurationPages/EditorCalltipsPage.ui Tue Jul 25 16:41:52 2023 +0200 @@ -63,7 +63,7 @@ </widget> </item> <item> - <widget class="QGroupBox" name="groupBox_4"> + <widget class="QGroupBox" name="calltipsVisibleBox"> <property name="title"> <string>Visible Calltips</string> </property> @@ -117,7 +117,7 @@ </widget> </item> <item> - <widget class="QGroupBox" name="groupBox_2"> + <widget class="QGroupBox" name="calltipsColorsBox"> <property name="title"> <string>Colors</string> </property> @@ -208,7 +208,7 @@ </widget> </item> <item> - <widget class="QGroupBox" name="groupBox"> + <widget class="QGroupBox" name="pluginsBox"> <property name="title"> <string>Plug-In Behavior</string> </property>