src/eric7/Preferences/ConfigurationPages/EditorCalltipsPage.ui

branch
eric7
changeset 10135
36839e2c6945
parent 9209
b99e7fd55fd3
--- 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>

eric ide

mercurial