src/gtkhtml.c

changeset 1119
403e81fe3633
parent 1117
fcb6e7efcc0d
child 1244
373945408fa3
--- a/src/gtkhtml.c	Tue Nov 21 10:13:39 2000 +0000
+++ b/src/gtkhtml.c	Wed Nov 22 02:03:14 2000 +0000
@@ -3210,6 +3210,10 @@
 	static struct font_state *current = NULL,
 	 *tmp;
 	static struct font_state def_state = { 3, 0, 0, "", NULL, NULL, NULL };
+	gboolean scrolldown = TRUE;
+
+	if (html->vadj->upper > (html->vadj->value + html->vadj->page_size))
+		scrolldown = FALSE;
 
 	if (text == NULL) {
 		bold = 0;
@@ -3699,7 +3703,8 @@
 
 	gdk_window_get_size(html->html_area, NULL, &height);
 	area.height = height;
-	gtk_adjustment_set_value(html->vadj, html->vadj->upper - area.height);
+	if (scrolldown)
+		gtk_adjustment_set_value(html->vadj, html->vadj->upper - area.height);
 
 	return;
 }

mercurial