diff -r b6eb1d714735 -r 1e23ab618ad0 src/gtkhtml.c
--- a/src/gtkhtml.c Wed Sep 13 16:41:22 2000 +0000
+++ b/src/gtkhtml.c Wed Sep 13 18:49:33 2000 +0000
@@ -1676,6 +1676,8 @@
if (html->selected_text)
{
+ gboolean forcedraw = FALSE;
+ hbits = html->html_bits;
g_free(html->selected_text);
html->selected_text = NULL;
html->start_sel = NULL;
@@ -1685,9 +1687,11 @@
while (hbits)
{
hb = (GtkHtmlBit *) hbits->data;
- if (hb->was_selected)
+ if (hb->was_selected || forcedraw) {
gtk_html_draw_bit(html, hb, 1);
- hbits = hbits->prev;
+ forcedraw = TRUE;
+ }
+ hbits = hbits->next;
}
hbits = g_list_last(html->html_bits);
}