--- a/eric6/Preferences/ConfigurationPages/EditorSyntaxPage.ui	Sat Oct 03 18:11:45 2020 +0200
+++ b/eric6/Preferences/ConfigurationPages/EditorSyntaxPage.ui	Sun Oct 04 15:25:17 2020 +0200
@@ -7,7 +7,7 @@
     <x>0</x>
     <y>0</y>
     <width>400</width>
-    <height>412</height>
+    <height>307</height>
    </rect>
   </property>
   <property name="windowTitle">