diff -r a62ff4f3335f -r d15cff284579 src/gtkhtml.c
--- a/src/gtkhtml.c Thu Jul 27 19:07:14 2000 +0000
+++ b/src/gtkhtml.c Thu Jul 27 19:33:18 2000 +0000
@@ -2698,12 +2698,12 @@
/* make sure pixmaps drop down a line after a
*/
if (last_hb->newline)
- html->current_y += private->height + 2;
+ html->current_y += private->height + 5;
/* wrap pixmaps */
gdk_window_get_size(html->html_area, &width, &height);
if ((html->current_x + private->width) >= width) {
- html->current_y += private->height + 2;
+ html->current_y += private->height + 5;
html->current_x = 0;
}
@@ -2729,8 +2729,8 @@
if (html->current_x == BORDER_WIDTH)
{
- html->current_y += hb->height;
- hb->y += hb->height;
+ html->current_y += hb->height + 3;
+ hb->y += hb->height + 3;
}
@@ -2824,7 +2824,7 @@
if (html->current_x > 0)
html->current_x = 0;
else
- html->current_y += cfont->ascent + cfont->descent + 2;
+ html->current_y += cfont->ascent + cfont->descent + 5;
return;
}
@@ -2933,7 +2933,7 @@
if (html->current_x == 0)
{
- html->current_y += height;
+ html->current_y += height + 3;
gdk_text_extents(cfont, text, 1, &lb, NULL, NULL, NULL, NULL);
html->current_x += (2 - lb);
}