Refreshed the display faster.

1 files changed, 12 insertions, 0 deletions

diff --git a/src/gtkext/gtkblockdisplay.c b/src/gtkext/gtkblockdisplay.c
index 69a7325..1810fc9 100644
--- a/src/gtkext/gtkblockdisplay.c
+++ b/src/gtkext/gtkblockdisplay.c
@@ -361,8 +361,20 @@ static gboolean gtk_block_display_query_tooltip(GtkWidget *widget, gint x, gint
 
 static gboolean gtk_block_display_need_redraw(GtkBlockDisplay *display, GBufferView *view)
 {
+    GtkWidget *widget;                      /* Autre version du composant  */
+
     gtk_widget_queue_draw(GTK_WIDGET(display));
 
+    /**
+     * Pour une raison non comprise, le redessin n'est pris en compte que
+     * si le parent est concerné également...
+     */
+
+    widget = gtk_widget_get_parent(GTK_WIDGET(display));
+
+    if (GTK_IS_SCROLLED_WINDOW(widget))
+        gtk_widget_queue_draw(widget);
+
     return FALSE;
 
 }