diff options
| author |  Miika Turkia <miika.turkia@gmail.com> | 2016-07-25 15:07:42 +0300 |
|---|---|---|
| committer |  Dirk Hohndel <dirk@hohndel.org> | 2016-07-28 04:54:51 -0700 |
| commit | e80b03699d5e553a8eb7da1f6fdccd8daf677cf2 (patch) | |
| tree | 48af763b295e51c3c72b7702bd9b95a2c1a5636d | |
| parent | 49cbb8308e4cac394f7b0b5ef83a1f238701232f (diff) | |
| download | subsurface-e80b03699d5e553a8eb7da1f6fdccd8daf677cf2.tar.gz | |
Shrink the minimum size for preferences window
Let's have the preferences window as small as possible with the current
data in it. This should allow people with vertical resolution of 600 to
use the preferences window.
Fixes #1083
Signed-off-by: Miika Turkia <miika.turkia@gmail.com>
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
| -rw-r--r-- | desktop-widgets/preferences/preferences_graph.ui | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/desktop-widgets/preferences/preferences_graph.ui b/desktop-widgets/preferences/preferences_graph.ui index 7422c1198..fed40bbbf 100644 --- a/desktop-widgets/preferences/preferences_graph.ui +++ b/desktop-widgets/preferences/preferences_graph.ui @@ -7,7 +7,7 @@ <x>0</x> <y>0</y> <width>505</width> - <height>623</height> + <height>555</height> </rect> </property> <property name="windowTitle"> |