--- a/eric7/Preferences/ConfigurationPages/EditorGeneralPage.ui	Tue Aug 17 12:17:56 2021 +0200
+++ b/eric7/Preferences/ConfigurationPages/EditorGeneralPage.ui	Tue Aug 17 12:25:54 2021 +0200
@@ -7,7 +7,7 @@
     <x>0</x>
     <y>0</y>
     <width>550</width>
-    <height>863</height>
+    <height>865</height>
    </rect>
   </property>
   <layout class="QVBoxLayout" name="verticalLayout_3">
@@ -434,7 +434,7 @@
       <string>Select to enable the support for mouse hover help text</string>
      </property>
      <property name="whatsThis">
-      <string>&lt;html&gt;&lt;head/&gt;&lt;body&gt;&lt;p&gt;&amp;lt;b&amp;gt;Mouse Hover Help&amp;lt;/b&amp;gt;&lt;/p&gt;&lt;p&gt;&amp;lt;p&amp;gt;Enable this option to show some information about the symbol the mouse is hovering over. An information provider plug-in (e.g. Jedi) must be installed for this to work.&amp;lt;/p&amp;gt;&lt;/p&gt;&lt;/body&gt;&lt;/html&gt;</string>
+      <string>&lt;b&gt;Mouse Hover Help&lt;/b&gt;&lt;p&gt;Enable this option to show some information about the symbol the mouse is hovering over. An information provider plug-in (e.g. Jedi) must be installed for this to work.&lt;/p&gt;</string>
      </property>
      <property name="title">
       <string>Mouse Hover Help</string>