[mutter] resize-popup: set a bigger margin

[Cosimo Cecchi <cosimoc src gnome org>]

commit 34fc234fd705ca423caf60b0e7705aa2c37a4b00
Author: Cosimo Cecchi <cosimoc gnome org>
Date:   Mon Jan 28 16:46:14 2013 -0500

    resize-popup: set a bigger margin
    
    Since we're going to use the tooltip's rounded corners we need a little
    bit more of margin (which wasn't a bad idea even with the frame).
    Also, don't use GtkMisc for this anymore.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=692741

 src/ui/resizepopup.c |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/src/ui/resizepopup.c b/src/ui/resizepopup.c
index e3a6d9c..63d0e5a 100644
--- a/src/ui/resizepopup.c
+++ b/src/ui/resizepopup.c
@@ -84,7 +84,7 @@ ensure_size_window (MetaResizePopup *popup)
                             TRUE);
   
   popup->size_label = gtk_label_new ("");
-  gtk_misc_set_padding (GTK_MISC (popup->size_label), 3, 3);
+  g_object_set (popup->size_label, "margin", 6, NULL);
 
   gtk_container_add (GTK_CONTAINER (popup->size_window), popup->size_label);