[gedit] Expand the preferences dialog tabs

[Paolo Borelli <pborelli src gnome org>]

commit 36173cb0e462d5aff7f4ec0adf3c0b84f540253d
Author: Paolo Borelli <pborelli gnome org>
Date:   Sun Feb 2 18:51:57 2014 +0100

    Expand the preferences dialog tabs

 gedit/gedit-preferences-dialog.ui |    6 ++++++
 1 files changed, 6 insertions(+), 0 deletions(-)
---
diff --git a/gedit/gedit-preferences-dialog.ui b/gedit/gedit-preferences-dialog.ui
index 2356948..1c749d8 100644
--- a/gedit/gedit-preferences-dialog.ui
+++ b/gedit/gedit-preferences-dialog.ui
@@ -350,6 +350,9 @@
                   </packing>
                 </child>
               </object>
+              <packing>
+                <property name="tab_expand">True</property>
+              </packing>
             </child>
             <child type="tab">
               <object class="GtkLabel" id="label853">
@@ -609,6 +612,7 @@
                 </child>
               </object>
               <packing>
+                <property name="tab_expand">True</property>
                 <property name="position">1</property>
               </packing>
             </child>
@@ -883,6 +887,7 @@
                 </child>
               </object>
               <packing>
+                <property name="tab_expand">True</property>
                 <property name="position">2</property>
               </packing>
             </child>
@@ -907,6 +912,7 @@
                 </child>
               </object>
               <packing>
+                <property name="tab_expand">True</property>
                 <property name="position">3</property>
               </packing>
             </child>