diff options
author | Olivier Goffart <ogoffart@woboq.com> | 2018-11-29 14:10:59 +0300 |
---|---|---|
committer | Olivier Goffart <ogoffart@woboq.com> | 2018-11-29 14:10:59 +0300 |
commit | 6e4b4e67e02cb1b02ea718460b9315b7008b5428 (patch) | |
tree | 753690763d0ea5f6416efe2a9229eb28e9d2a2e8 /src/gui/ignorelisteditor.ui | |
parent | 7abb9cd6fa68810a9fb5bb98fdf2bb1aa2e00053 (diff) |
IgnoreListEditor: increase a bit the size
Should Help for issue #6641
Diffstat (limited to 'src/gui/ignorelisteditor.ui')
-rw-r--r-- | src/gui/ignorelisteditor.ui | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/gui/ignorelisteditor.ui b/src/gui/ignorelisteditor.ui index 450e12bd6..de7d897f7 100644 --- a/src/gui/ignorelisteditor.ui +++ b/src/gui/ignorelisteditor.ui @@ -6,8 +6,8 @@ <rect> <x>0</x> <y>0</y> - <width>516</width> - <height>546</height> + <width>555</width> + <height>609</height> </rect> </property> <property name="windowTitle"> |