[gtk+] GtkFontChooser: Set correct margin values between UI elements

[Matthias Clasen <matthiasc src gnome org>]

commit 23b15254bb3efc5ed9ad403a04f14195b57bc6ce
Author: Alberto Ruiz <aruiz gnome org>
Date:   Mon Jul 25 16:30:28 2011 +0100

    GtkFontChooser: Set correct margin values between UI elements

 gtk/gtkfontchooser.c |    5 +++++
 1 files changed, 5 insertions(+), 0 deletions(-)
---
diff --git a/gtk/gtkfontchooser.c b/gtk/gtkfontchooser.c
index 70d8cd1..c30a32b 100644
--- a/gtk/gtkfontchooser.c
+++ b/gtk/gtkfontchooser.c
@@ -560,6 +560,11 @@ gtk_font_chooser_init (GtkFontChooser *fontchooser)
   /* Basic layout */
   grid = gtk_grid_new ();
   sub_grid = gtk_grid_new ();
+  
+  gtk_widget_set_margin_bottom (priv->search_entry, 6);
+  gtk_widget_set_margin_bottom (scrolled_win,       6);
+  gtk_widget_set_margin_bottom (priv->preview,      6);
+  gtk_widget_set_margin_right  (priv->size_slider,  6);
 
   gtk_grid_attach (GTK_GRID (grid), priv->search_entry, 0, 0, 3, 1);
   gtk_grid_attach (GTK_GRID (grid), scrolled_win,       0, 1, 3, 1);