[gnome-terminal] profile: Remove empty space at the top of the General tab

[Debarshi Ray <debarshir src gnome org>]

commit a585b60d40b458252e421fae1905d70d846220e1
Author: Debarshi Ray <debarshir gnome org>
Date:   Mon Jun 30 18:14:34 2014 +0200

    profile: Remove empty space at the top of the General tab
    
    ... by making the GtkTable expand and fill.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=724110

 src/profile-preferences.ui |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/src/profile-preferences.ui b/src/profile-preferences.ui
index 12f2251..f06fb78 100644
--- a/src/profile-preferences.ui
+++ b/src/profile-preferences.ui
@@ -526,8 +526,8 @@
                     </child>
                   </object>
                   <packing>
-                    <property name="expand">False</property>
-                    <property name="fill">False</property>
+                    <property name="expand">True</property>
+                    <property name="fill">True</property>
                     <property name="position">0</property>
                   </packing>
                 </child>