[gedit] Rework the prefs dialog a little

[Paolo Borelli <pborelli src gnome org>]

commit 49863dcae76797505a80e9fc1ec77ec9f1729c71
Author: Paolo Borelli <pborelli gnome org>
Date:   Fri Feb 14 21:41:37 2014 +0100

    Rework the prefs dialog a little

 gedit/gedit-preferences-dialog.ui |    5 +++--
 1 files changed, 3 insertions(+), 2 deletions(-)
---
diff --git a/gedit/gedit-preferences-dialog.ui b/gedit/gedit-preferences-dialog.ui
index 9141300..be35d86 100644
--- a/gedit/gedit-preferences-dialog.ui
+++ b/gedit/gedit-preferences-dialog.ui
@@ -28,7 +28,7 @@
     <property name="resizable">True</property>
     <property name="destroy_with_parent">True</property>
     <property name="type_hint">dialog</property>
-    <property name="border_width">5</property>
+    <property name="border_width">0</property>
     <child type="titlebar">
       <object class="GtkHeaderBar" id="header_bar">
         <property name="title" translatable="yes">Preferences</property>
@@ -62,7 +62,8 @@
           <object class="GtkNotebook" id="notebook">
             <property name="visible">True</property>
             <property name="can_focus">True</property>
-            <property name="border_width">6</property>
+            <property name="border_width">0</property>
+            <property name="show_border">False</property>
             <child>
               <object class="GtkGrid" id="grid6">
                 <property name="visible">True</property>