--- a/eric6/Preferences/ConfigurationPages/EditorGeneralPage.ui	Thu Oct 01 17:34:48 2020 +0200
+++ b/eric6/Preferences/ConfigurationPages/EditorGeneralPage.ui	Thu Oct 01 17:39:16 2020 +0200
@@ -170,7 +170,7 @@
           </column>
           <column>
            <property name="text">
-            <string notr="true"/>
+            <string notr="true">  </string>
            </property>
           </column>
          </widget>