Ignore list editor: adjust the size

The previous patch on this file made it a bit too big, so make it a bit smaller
For issue #5600

diff --git a/src/gui/ignorelisteditor.ui b/src/gui/ignorelisteditor.ui
index 9001bc78a896095152d89d5144057f95a134a856..450e12bd64a53a75ad97b9a884718bfd95e566e0 100644 (file)
--- a/src/gui/ignorelisteditor.ui
+++ b/src/gui/ignorelisteditor.ui
@@ -6,8 +6,8 @@
    <rect>
     <x>0</x>
     <y>0</y>
-    <width>662</width>
-    <height>664</height>
+    <width>516</width>
+    <height>546</height>
    </rect>
   </property>
   <property name="windowTitle">