[meld] Make preferences dialog resizable (#541)

[Kai Willadsen <kaiw src gnome org>]

commit e1508cfb18a2b1175a78ae32949fe2a3e5311cc3
Author: Kai Willadsen <kai willadsen gmail com>
Date:   Sat Jan 16 11:51:49 2021 +1000

    Make preferences dialog resizable (#541)
    
    While it's standard to have such dialogs have a fixed size, our filter
    configuration UI doesn't work particularly well at restricted widths.
    Ideally we would redesign the filter configuration UI to be more
    responsive, but that's a significant amount of rework.

 meld/resources/ui/preferences.ui | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/meld/resources/ui/preferences.ui b/meld/resources/ui/preferences.ui
index 37dc3055..4f53b299 100644
--- a/meld/resources/ui/preferences.ui
+++ b/meld/resources/ui/preferences.ui
@@ -20,7 +20,7 @@
     <property name="can_focus">False</property>
     <property name="border_width">0</property>
     <property name="title" translatable="yes">Preferences</property>
-    <property name="resizable">False</property>
+    <property name="resizable">True</property>
     <property name="modal">True</property>
     <property name="destroy_with_parent">True</property>
     <property name="type_hint">dialog</property>