From 34fc234fd705ca423caf60b0e7705aa2c37a4b00 Mon Sep 17 00:00:00 2001
From: Cosimo Cecchi <cosimoc@gnome.org>
Date: Mon, 28 Jan 2013 16:46:14 -0500
Subject: [PATCH] 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 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/ui/resizepopup.c b/src/ui/resizepopup.c
index e3a6d9ca0..63d0e5a37 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);