brl/mutter
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

resize-popup: set a bigger margin

Browse Source 
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
This commit is contained in:
Cosimo Cecchi 2013-01-28 16:46:14 -05:00
parent c3ffd28bb6
commit 34fc234fd7
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/ui/resizepopup.c
View File

@ -84,7 +84,7 @@ ensure_size_window (MetaResizePopup *popup)
TRUE); TRUE);
popup->size_label = gtk_label_new (""); 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); gtk_container_add (GTK_CONTAINER (popup->size_window), popup->size_label);