src/eric7/Preferences/ConfigurationPages/EditorSearchPage.ui

branch
eric7
changeset 10135
36839e2c6945
parent 9938
b8005dd4fc9b
child 10429
643989a1e2bd
--- 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>

eric ide

mercurial