diff options
author | Olivier Goffart <ogoffart@woboq.com> | 2018-11-29 14:10:59 +0300 |
---|---|---|
committer | Kevin Ottens <kevin.ottens@nextcloud.com> | 2020-12-15 12:58:21 +0300 |
commit | a6614c18f18636e58cf33b1edb0d3c64858db056 (patch) | |
tree | 95b8793ce9b832380e26bf3f8576db3f2db24eb5 /src/gui/ignorelisteditor.ui | |
parent | 7c1871ae652fdd73d274fb0bef3fad787d39385d (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 891fbc6e9..3ebdf5249 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"> |