From cade56fad6cc3fc4709b4f5f9ea343c8a5f1eba1 Mon Sep 17 00:00:00 2001 From: Pierre Pronchery Date: Tue, 16 Nov 2010 11:46:56 +0000 Subject: [PATCH] Added some padding around the widgets --- src/plugins/profiles.c | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/plugins/profiles.c b/src/plugins/profiles.c index 5c07b17..d4dbadb 100644 --- a/src/plugins/profiles.c +++ b/src/plugins/profiles.c @@ -313,6 +313,8 @@ static void _profiles_settings(PhonePlugin * plugin) if(profiles->window == NULL) { profiles->window = gtk_window_new(GTK_WINDOW_TOPLEVEL); + gtk_container_set_border_width(GTK_CONTAINER(profiles->window), + 4); gtk_window_set_default_size(GTK_WINDOW(profiles->window), 200, 300); gtk_window_set_title(GTK_WINDOW(profiles->window), "Profiles");