diff options
author | Cosimo Cecchi <cosimoc@gnome.org> | 2013-01-28 16:46:14 -0500 |
---|---|---|
committer | Cosimo Cecchi <cosimoc@gnome.org> | 2013-02-10 14:25:27 -0500 |
commit | 34fc234fd705ca423caf60b0e7705aa2c37a4b00 (patch) | |
tree | cdea0d67212026c4fb5a5ceff4cb6ac0c03788ee /src/ui | |
parent | c3ffd28bb6115936b7a6d59f39ebf2cd66a58328 (diff) | |
download | mutter-34fc234fd705ca423caf60b0e7705aa2c37a4b00.tar.gz |
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
Diffstat (limited to 'src/ui')
-rw-r--r-- | 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 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); |