[gnome-builder] layout: redraw header when colors change

[Christian Hergert <chergert src gnome org>]

commit 357f471abf616f586f64f387f604a3f4f1a6d8be
Author: Christian Hergert <chergert redhat com>
Date:   Wed Jul 5 18:11:02 2017 -0700

    layout: redraw header when colors change
    
    This ensures that style changes result in us redrawing the
    widget. Otherwise we get in a situation where only the children
    may be redrawn.

 libide/layout/ide-layout-stack-header.c |    6 ++++++
 1 files changed, 6 insertions(+), 0 deletions(-)
---
diff --git a/libide/layout/ide-layout-stack-header.c b/libide/layout/ide-layout-stack-header.c
index a4d5a50..eb9c15e 100644
--- a/libide/layout/ide-layout-stack-header.c
+++ b/libide/layout/ide-layout-stack-header.c
@@ -325,6 +325,8 @@ ide_layout_stack_header_update_css (IdeLayoutStackHeader *self)
   if (!gtk_css_provider_load_from_data (self->background_css, str->str, str->len, &error))
     g_warning ("Failed to load CSS: '%s': %s",
                str->str, error->message);
+
+  gtk_widget_queue_resize (GTK_WIDGET (self));
 }
 
 void
@@ -566,6 +568,10 @@ ide_layout_stack_header_init (IdeLayoutStackHeader *self)
                     "row-activated",
                     G_CALLBACK (ide_layout_stack_header_view_row_activated),
                     self);
+
+  G_GNUC_BEGIN_IGNORE_DEPRECATIONS;
+  gtk_container_set_reallocate_redraws (GTK_CONTAINER (self), TRUE);
+  G_GNUC_END_IGNORE_DEPRECATIONS;
 }
 
 GtkWidget *