comparison: src/gtkhtml.c
src/gtkhtml.c
- changeset 894
- 1e23ab618ad0
- parent 871
- 7d243094a3ae
- child 895
- 8b20e4fefdd9
equal
deleted
inserted
replaced
| 893:b6eb1d714735 | 894:1e23ab618ad0 |
|---|---|
| 1674 if (!hbits) | 1674 if (!hbits) |
| 1675 return TRUE; | 1675 return TRUE; |
| 1676 | 1676 |
| 1677 if (html->selected_text) | 1677 if (html->selected_text) |
| 1678 { | 1678 { |
| 1679 gboolean forcedraw = FALSE; | |
| 1680 hbits = html->html_bits; | |
| 1679 g_free(html->selected_text); | 1681 g_free(html->selected_text); |
| 1680 html->selected_text = NULL; | 1682 html->selected_text = NULL; |
| 1681 html->start_sel = NULL; | 1683 html->start_sel = NULL; |
| 1682 html->end_sel = NULL; | 1684 html->end_sel = NULL; |
| 1683 html->num_start = 0; | 1685 html->num_start = 0; |
| 1684 html->num_end = 0; | 1686 html->num_end = 0; |
| 1685 while (hbits) | 1687 while (hbits) |
| 1686 { | 1688 { |
| 1687 hb = (GtkHtmlBit *) hbits->data; | 1689 hb = (GtkHtmlBit *) hbits->data; |
| 1688 if (hb->was_selected) | 1690 if (hb->was_selected || forcedraw) { |
| 1689 gtk_html_draw_bit(html, hb, 1); | 1691 gtk_html_draw_bit(html, hb, 1); |
| 1690 hbits = hbits->prev; | 1692 forcedraw = TRUE; |
| 1693 } | |
| 1694 hbits = hbits->next; | |
| 1691 } | 1695 } |
| 1692 hbits = g_list_last(html->html_bits); | 1696 hbits = g_list_last(html->html_bits); |
| 1693 } | 1697 } |
| 1694 | 1698 |
| 1695 hb = (GtkHtmlBit *) hbits->data; | 1699 hb = (GtkHtmlBit *) hbits->data; |
