On Sat, 20 Apr 2024 14:19:32 +0200 Rodrigo Arias <rodarima@gmail.com> wrote:
On Sat, Apr 20, 2024 at 01:54:26PM +1000, Kevin Koster wrote:
There's a new "scroll_step" option in the example configuration file for 3.1.0-rc1. The comment "Mouse wheel scroll step in pixels" suggests that this only affects the mouse wheel, but it also changes the distance the page moves when the arrow keys are pressed and the overlap of previous page content that's left when you press Page Up/Down. I think that's a little confusing, especially as the value has changed since the default behaviour in 3.0.5 (the old value seems to have been about 25).
Thanks, I agree. Could you provide a patch?
OK, see the attached dillorc_scroll_step_description.patch (applied directly to the file, eg. "patch dillo/dillorc < dillorc_scroll_step_description.patch"). The patch also includes a fix for a misspelling of "differentiates" in a later comment there.
Please consider reviewing the manual on that topic[1], in case some parts need to be clarified too. [1]:https://dillo-browser.github.io/user_help.html#scrolling
I'd only add that a scroll_step is subtracted from the Pg. Up/Down movement, as I've done in the other attached patch (user_help_page_step.patch).