Ignore list editor: adjust the size
authorOlivier Goffart <ogoffart@woboq.com>
Wed, 15 Mar 2017 15:00:48 +0000 (16:00 +0100)
committerOlivier Goffart <ogoffart@woboq.com>
Wed, 15 Mar 2017 15:00:48 +0000 (16:00 +0100)
commitdbb5bcb7841ecddcf4f84759b2850e98f5f59d7c
tree567cf948357589fe0e60913d319734e45f2cac9a
parentd95b43f3477fc6b702d0273943f5a1f7a4a2af17
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