diff options
Diffstat (limited to 'src/gtkext/gtkblockdisplay.c')
| -rw-r--r-- | src/gtkext/gtkblockdisplay.c | 12 |
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; } |