--- prefs.c.orig 2004-06-11 01:20:53.000000000 +0200 +++ prefs.c 2004-10-21 23:22:53.000000000 +0200 @@ -75,7 +75,8 @@ { "enterpress_forces_submit", DRC_TOKEN_ENTERPRESS_FORCES_SUBMIT }, { "search_url", DRC_TOKEN_SEARCH_URL }, { "show_msg", DRC_TOKEN_SHOW_MSG }, - { "show_extra_warnings", DRC_TOKEN_SHOW_EXTRA_WARNINGS } + { "show_extra_warnings", DRC_TOKEN_SHOW_EXTRA_WARNINGS }, + { "scroll_factor", DRC_TOKEN_SCROLL_FACTOR } }; static const guint n_symbols = sizeof (symbols) / sizeof (symbols[0]); @@ -257,6 +258,9 @@ prefs.show_extra_warnings = (strcmp(scanner->value.v_string, "YES") == 0); break; + case DRC_TOKEN_SCROLL_FACTOR: + prefs.scroll_factor = strtod(scanner->value.v_string, NULL); + break; default: break; /* Not reached */ } @@ -397,6 +401,7 @@ prefs.search_url = g_strdup("http://www.google.com/search?q=%s"); prefs.show_msg = TRUE; prefs.show_extra_warnings = FALSE; + prefs.scroll_factor = 0.96; /* this locale stuff is to avoid parsing problems with float numbers */ old_locale = g_strdup (setlocale (LC_NUMERIC, NULL)); --- prefs.h.orig 2004-06-11 01:20:19.000000000 +0200 +++ prefs.h 2004-10-21 23:20:29.000000000 +0200 @@ -70,6 +70,7 @@ DRC_TOKEN_SEARCH_URL, DRC_TOKEN_SHOW_MSG, DRC_TOKEN_SHOW_EXTRA_WARNINGS, + DRC_TOKEN_SCROLL_FACTOR, DRC_TOKEN_LAST } Dillo_Rc_TokenType; @@ -122,6 +123,7 @@ gchar *search_url; gboolean show_msg; gboolean show_extra_warnings; + gdouble scroll_factor; }; /* Global Data */ --- dw_gtk_viewport.c.orig 2004-06-02 22:00:15.000000000 +0200 +++ dw_gtk_viewport.c 2004-10-21 23:20:29.000000000 +0200 @@ -237,7 +237,7 @@ /* gtk_layout_size_allocate() sets them to different values. */ GTK_LAYOUT(widget)->hadjustment->page_increment = allocation->width; - GTK_LAYOUT(widget)->vadjustment->page_increment = 0.96 * allocation->height; + GTK_LAYOUT(widget)->vadjustment->page_increment = prefs.scroll_factor * allocation->height; } /*