diff options
author | Matthew Barnes <mbarnes@src.gnome.org> | 2009-01-25 11:58:06 +0800 |
---|---|---|
committer | Matthew Barnes <mbarnes@src.gnome.org> | 2009-01-25 11:58:06 +0800 |
commit | 04024bf52cf11bffb2272e449055a2bd389bd59f (patch) | |
tree | c2eaec5b48c323cc0e29b28d3d322a70424207d3 /shell/e-shell-taskbar.c | |
parent | 32ffc3ca1ca80b2d843fbe28da7deab35fabcbf1 (diff) | |
download | gsoc2013-evolution-04024bf52cf11bffb2272e449055a2bd389bd59f.tar.gz gsoc2013-evolution-04024bf52cf11bffb2272e449055a2bd389bd59f.tar.zst gsoc2013-evolution-04024bf52cf11bffb2272e449055a2bd389bd59f.zip |
Fix a crash when cancelling a task in the task bar.
Tinker with task bar padding.
svn path=/branches/kill-bonobo/; revision=37131
Diffstat (limited to 'shell/e-shell-taskbar.c')
-rw-r--r-- | shell/e-shell-taskbar.c | 4 |
1 files changed, 2 insertions, 2 deletions
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 |