diff options
| author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2015-01-15 18:59:03 +0100 |
|---|---|---|
| committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2015-01-15 18:59:03 +0100 |
| commit | 484946ba512d2f441471e3d7e1b839b4f71c54a7 (patch) | |
| tree | cfe32a46fee52ab246d2258d7fcec862eb1af9ad /resources/ui/settings.ui | |
| parent | 45fa2e053bf7f7d51f3e0583abe3d53de4ebdcfd (diff) | |
Merge Upstream Release
Diffstat (limited to 'resources/ui/settings.ui')
| -rw-r--r-- | resources/ui/settings.ui | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/resources/ui/settings.ui b/resources/ui/settings.ui index 77e3403..21d1fb5 100644 --- a/resources/ui/settings.ui +++ b/resources/ui/settings.ui @@ -7,7 +7,7 @@ <property name="can_focus">False</property> <property name="border_width">5</property> <property name="title" translatable="yes">General Settings</property> - <property name="resizable">False</property> + <property name="resizable">True</property> <property name="modal">True</property> <property name="window_position">center-on-parent</property> <property name="destroy_with_parent">True</property> |