diff -r 13fa2f4b84be -r 3638fe0afd66 src/gtkhtml.c
--- a/src/gtkhtml.c Thu Sep 14 18:50:04 2000 +0000
+++ b/src/gtkhtml.c Thu Sep 14 21:04:59 2000 +0000
@@ -2089,7 +2089,6 @@
}
else if (hb->type == HTML_BIT_SEP)
{
-
gdk_draw_line(html->html_area, gc, hb->x + 2,
hb->y - html->yoffset - (hb->height / 2 - 1),
hb->x + hb->width,
@@ -2098,6 +2097,11 @@
}
else if (hb->type == HTML_BIT_PIXMAP)
{
+ area.x = hb->x - html->xoffset;
+ area.y = hb->y - hb->height + 5 - html->yoffset;
+ area.width = hb->width + 2;
+ area.height = hb->height;
+ clear_area(html, &area);
gdk_gc_set_background(gc, &widget->style->base[GTK_STATE_NORMAL]);
gdk_draw_pixmap(html->html_area, gc, hb->pm, 0, 0, hb->x,
hb->y - html->yoffset - (hb->height) + 4, -1, -1);