--- a/src/eric7/WebBrowser/SearchWidget.ui Tue Dec 19 09:31:02 2023 +0100 +++ b/src/eric7/WebBrowser/SearchWidget.ui Tue Dec 19 11:04:03 2023 +0100 @@ -85,6 +85,9 @@ </item> <item> <widget class="QCheckBox" name="caseCheckBox"> + <property name="toolTip"> + <string>Select to match case sensitive</string> + </property> <property name="text"> <string>Match case</string> </property>