[gtk+] Fix redraw issues in GtkInfoBar

[Matthias Clasen <matthiasc src gnome org>]

commit 42e7318b620ad73bd16b28b8f4d648350a337604
Author: Matthias Clasen <mclasen redhat com>
Date:   Mon Jul 6 01:56:05 2009 -0400

    Fix redraw issues in GtkInfoBar
    
    This was reported in bug 587716. I have no idea why this used
    to work just fine for me...

 gtk/gtkinfobar.c |    5 +++--
 1 files changed, 3 insertions(+), 2 deletions(-)
---
diff --git a/gtk/gtkinfobar.c b/gtk/gtkinfobar.c
index 568bd79..9ada2c9 100644
--- a/gtk/gtkinfobar.c
+++ b/gtk/gtkinfobar.c
@@ -330,8 +330,8 @@ gtk_info_bar_expose (GtkWidget      *widget,
                      detail,
                      widget->allocation.x,
                      widget->allocation.y,
-                     widget->allocation.width + 1,
-                     widget->allocation.height + 1);
+                     widget->allocation.width,
+                     widget->allocation.height);
     }
 
   if (GTK_WIDGET_CLASS (gtk_info_bar_parent_class)->expose_event)
@@ -625,6 +625,7 @@ gtk_info_bar_init (GtkInfoBar *info_bar)
   gtk_box_pack_start (GTK_BOX (info_bar), action_area, FALSE, TRUE, 0);
 
   gtk_widget_set_app_paintable (GTK_WIDGET (info_bar), TRUE);
+  gtk_widget_set_redraw_on_allocate (GTK_WIDGET (info_bar), TRUE);
 
   info_bar->priv->content_area = content_area;
   info_bar->priv->action_area = action_area;