From 54978e6e8f2b456e64a7d4826cd3b6eb3fb880e0 Mon Sep 17 00:00:00 2001
From: Clement Lefebvre <clement.lefebvre@linuxmint.com>
Date: Tue, 23 Jul 2019 12:11:14 +0200
Subject: [PATCH] Preferences: Make dialog slightly taller

---
 xed/resources/ui/xed-preferences-dialog.ui | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/xed/resources/ui/xed-preferences-dialog.ui b/xed/resources/ui/xed-preferences-dialog.ui
index 00bf20d..53c1f53 100755
--- a/xed/resources/ui/xed-preferences-dialog.ui
+++ b/xed/resources/ui/xed-preferences-dialog.ui
@@ -1,5 +1,5 @@
 <?xml version="1.0" encoding="UTF-8"?>
-<!-- Generated with glade 3.18.3 -->
+<!-- Generated with glade 3.22.1 -->
 <interface>
   <requires lib="gtk+" version="3.12"/>
   <requires lib="gtksourceview" version="3.0"/>
@@ -26,6 +26,7 @@
         <property name="visible">True</property>
         <property name="can_focus">True</property>
         <property name="hscrollbar_policy">never</property>
+        <property name="min_content_height">550</property>
         <child>
           <object class="GtkViewport" id="viewport1">
             <property name="visible">True</property>