diff -r a56c297bfd61 -r b8005dd4fc9b src/eric7/Preferences/ConfigurationPages/EditorSearchPage.ui
--- a/src/eric7/Preferences/ConfigurationPages/EditorSearchPage.ui Mon Mar 27 22:05:05 2023 +0200
+++ b/src/eric7/Preferences/ConfigurationPages/EditorSearchPage.ui Tue Mar 28 10:14:23 2023 +0200
@@ -208,6 +208,49 @@
</widget>
</item>
<item>
+ <layout class="QHBoxLayout" name="horizontalLayout_8">
+ <item>
+ <widget class="QLabel" name="label_20">
+ <property name="text">
+ <string>Search Area Highlighting:</string>
+ </property>
+ </widget>
+ </item>
+ <item>
+ <widget class="QPushButton" name="highlightingBackgroundButton">
+ <property name="minimumSize">
+ <size>
+ <width>100</width>
+ <height>0</height>
+ </size>
+ </property>
+ <property name="toolTip">
+ <string>Select the color for the highlighting of the search area, if it is not the whole document.</string>
+ </property>
+ <property name="text">
+ <string/>
+ </property>
+ </widget>
+ </item>
+ <item>
+ <spacer name="spacer">
+ <property name="orientation">
+ <enum>Qt::Horizontal</enum>
+ </property>
+ <property name="sizeType">
+ <enum>QSizePolicy::Expanding</enum>
+ </property>
+ <property name="sizeHint" stdset="0">
+ <size>
+ <width>347</width>
+ <height>20</height>
+ </size>
+ </property>
+ </spacer>
+ </item>
+ </layout>
+ </item>
+ <item>
<spacer>
<property name="orientation">
<enum>Qt::Vertical</enum>
