src/gtkhtml.c

changeset 907
3638fe0afd66
parent 897
4a468772e49b
child 911
41e5ed6cda1a
--- 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);

mercurial