[gtk+] window: don't change bottom margin for automatic CSD

[Matthias Clasen <matthiasc src gnome org>]

commit fde3d5afe86dc708dffa14a5b10b918fb468f0e3
Author: Cosimo Cecchi <cosimoc gnome org>
Date:   Thu Aug 22 16:11:23 2013 +0100

    window: don't change bottom margin for automatic CSD
    
    We'll use a style class to be able to give this a different appearance,
    but for the time being we don't really need to give this such different
    margin.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=706592

 gtk/gtkwindow.c |    1 -
 1 files changed, 0 insertions(+), 1 deletions(-)
---
diff --git a/gtk/gtkwindow.c b/gtk/gtkwindow.c
index 129594b..18bcbc7 100644
--- a/gtk/gtkwindow.c
+++ b/gtk/gtkwindow.c
@@ -5166,7 +5166,6 @@ update_window_buttons (GtkWindow *window)
 
           box = gtk_box_new (GTK_ORIENTATION_HORIZONTAL, 0);
           gtk_widget_show (box);
-          gtk_widget_set_margin_bottom (box, 6);
           if ((direction == GTK_TEXT_DIR_LTR && i == 0) ||
               (direction == GTK_TEXT_DIR_RTL && i == 1))
             gtk_style_context_add_class (gtk_widget_get_style_context (box), "left");