From dbb5bcb7841ecddcf4f84759b2850e98f5f59d7c Mon Sep 17 00:00:00 2001
From: Olivier Goffart <ogoffart@woboq.com>
Date: Wed, 15 Mar 2017 16:00:48 +0100
Subject: [PATCH] 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
---
 src/gui/ignorelisteditor.ui | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/gui/ignorelisteditor.ui b/src/gui/ignorelisteditor.ui
index 9001bc78a..450e12bd6 100644
--- 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">
-- 
2.30.2