comparison: src/gtkimhtml.c
src/gtkimhtml.c
- changeset 11760
- 075e1495157b
- parent 11750
- 63f951281392
- child 11768
- b45e26d7a4c9
equal
deleted
inserted
replaced
| 11759:81cff971bb46 | 11760:075e1495157b |
|---|---|
| 751 tag_area.x, | 751 tag_area.x, |
| 752 tag_area.y, | 752 tag_area.y, |
| 753 &tag_area.x, | 753 &tag_area.x, |
| 754 &tag_area.y); | 754 &tag_area.y); |
| 755 | 755 |
| 756 rect.width = visible_rect.width; | 756 |
| 757 if (gtk_text_iter_is_end(&cur)) | 757 rect.height = tag_area.y + tag_area.height - rect.y |
| 758 rect.height = visible_rect.y + visible_rect.height - rect.y; | 758 + gtk_text_view_get_pixels_below_lines(GTK_TEXT_VIEW(widget)); |
| 759 else | |
| 760 rect.height = tag_area.y + tag_area.height - rect.y | |
| 761 + gtk_text_view_get_pixels_below_lines(GTK_TEXT_VIEW(widget)); | |
| 762 | 759 |
| 763 color = tag->name + 11; | 760 color = tag->name + 11; |
| 764 | 761 |
| 765 if (!gdk_color_parse(color, &gcolor)) { | 762 if (!gdk_color_parse(color, &gcolor)) { |
| 766 gchar tmp[8]; | 763 gchar tmp[8]; |
