From 04024bf52cf11bffb2272e449055a2bd389bd59f Mon Sep 17 00:00:00 2001 From: Matthew Barnes Date: Sun, 25 Jan 2009 03:58:06 +0000 Subject: Fix a crash when cancelling a task in the task bar. Tinker with task bar padding. svn path=/branches/kill-bonobo/; revision=37131 --- shell/e-shell-taskbar.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'shell/e-shell-taskbar.c') diff --git a/shell/e-shell-taskbar.c b/shell/e-shell-taskbar.c index 0f2b0af5d2..9d1ef40ef7 100644 --- a/shell/e-shell-taskbar.c +++ b/shell/e-shell-taskbar.c @@ -283,7 +283,7 @@ shell_taskbar_init (EShellTaskbar *shell_taskbar) shell_taskbar->priv->label = g_object_ref (widget); gtk_widget_hide (widget); - widget = gtk_hbox_new (FALSE, 1); + widget = gtk_hbox_new (FALSE, 3); gtk_box_pack_start (GTK_BOX (shell_taskbar), widget, TRUE, TRUE, 0); shell_taskbar->priv->hbox = g_object_ref (widget); gtk_widget_hide (widget); @@ -293,7 +293,7 @@ shell_taskbar_init (EShellTaskbar *shell_taskbar) * The true value is probably buried in a style property. */ gtk_icon_size_lookup (GTK_ICON_SIZE_MENU, NULL, &height); gtk_widget_set_size_request ( - GTK_WIDGET (shell_taskbar), -1, height * 2); + GTK_WIDGET (shell_taskbar), -1, (height * 2) + 6); } GType -- cgit