[metacity/wip/gtk-theme: 7/52] resize-popup: set a bigger margin

[Alberts Muktupāvels <muktupavels src gnome org>]

commit 22ebc79d57cc78f87447dbee51371ad621768aae
Author: Alberts Muktupāvels <alberts muktupavels gmail com>
Date:   Tue Dec 30 18:01:42 2014 +0200

    resize-popup: set a bigger margin
    
    Follow mutter and set bigger margin...

 src/ui/resizepopup.c |    8 ++++----
 1 files changed, 4 insertions(+), 4 deletions(-)
---
diff --git a/src/ui/resizepopup.c b/src/ui/resizepopup.c
index a8b27e8..bc929e6 100644
--- a/src/ui/resizepopup.c
+++ b/src/ui/resizepopup.c
@@ -83,10 +83,10 @@ ensure_size_window (MetaResizePopup *popup)
 
   popup->size_label = gtk_label_new ("");
 
-  gtk_widget_set_margin_start (popup->size_label, 3);
-  gtk_widget_set_margin_end (popup->size_label, 3);
-  gtk_widget_set_margin_top (popup->size_label, 3);
-  gtk_widget_set_margin_bottom (popup->size_label, 3);
+  gtk_widget_set_margin_start (popup->size_label, 6);
+  gtk_widget_set_margin_end (popup->size_label, 6);
+  gtk_widget_set_margin_top (popup->size_label, 6);
+  gtk_widget_set_margin_bottom (popup->size_label, 6);
 
   gtk_container_add (GTK_CONTAINER (popup->size_window),
                      popup->size_label);