[gedit/wip/redesign] Fix border of highlight mode dialog

[Ignacio Casal Quinteiro <icq src gnome org>]

commit 0bf55245176d1d5d3edfd2485ddd0a623483f35b
Author: Ignacio Casal Quinteiro <icq gnome org>
Date:   Fri May 10 12:09:14 2013 +0200

    Fix border of highlight mode dialog

 gedit/gedit-highlight-mode-dialog.ui |    3 +++
 1 files changed, 3 insertions(+), 0 deletions(-)
---
diff --git a/gedit/gedit-highlight-mode-dialog.ui b/gedit/gedit-highlight-mode-dialog.ui
index eb43035..672041e 100644
--- a/gedit/gedit-highlight-mode-dialog.ui
+++ b/gedit/gedit-highlight-mode-dialog.ui
@@ -35,6 +35,8 @@
             <property name="has_focus">False</property>
             <property name="is_focus">False</property>
             <property name="layout_style">end</property>
+            <property name="border_width">5</property>
+            <property name="spacing">6</property>
             <child>
               <object class="GtkButton" id="cancel_button">
                 <property name="label">gtk-cancel</property>
@@ -83,6 +85,7 @@
             <property name="has_focus">False</property>
             <property name="is_focus">False</property>
             <property name="row_spacing">3</property>
+            <property name="border_width">6</property>
             <child>
               <object class="GtkSearchEntry" id="entry">
                 <property name="visible">True</property>