[gtksourceview] view: queue draw when StyleScheme changes

[Sébastien Wilmet <swilmet src gnome org>]

commit b602b2bf11d8d8b01676e87080fba7910852cea8
Author: Sébastien Wilmet <swilmet gnome org>
Date:   Sun Jun 19 16:05:18 2016 +0200

    view: queue draw when StyleScheme changes
    
    Redrawing the view relied on _gtk_source_style_scheme_apply() or
    unapply() to be called. It's better to be more explicit, to have more
    future-proof code.

 gtksourceview/gtksourceview.c |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)
---
diff --git a/gtksourceview/gtksourceview.c b/gtksourceview/gtksourceview.c
index 2b8332a..ab46d1b 100644
--- a/gtksourceview/gtksourceview.c
+++ b/gtksourceview/gtksourceview.c
@@ -5190,6 +5190,8 @@ update_style (GtkSourceView *view)
        update_current_line_color (view);
        update_right_margin_colors (view);
        update_spaces_color (view);
+
+       gtk_widget_queue_draw (GTK_WIDGET (view));
 }
 
 static void