Re: Navigation by pages

Hi,

>Now having tried both, I feel that the button is still a bit nicer from
>a usability standpoint, because it requires less attention and mouse
>movement to go up and down. But, I agree there is not much point in
>duplicating this functionality.

I added a couple of options to improve the page navigation.

First, you can now scroll the mouse wheel over the vertical scrollbar to 
jump whole pages instead of small steps. Over the page it continues to 
behave as normal, unless you hold Shift, which will also make it 
navigate full pages.

Secondly, I also added a scrollbar "page mode", which can be enabled in 
dillorc with scrollbar_page_mode=YES, which causes clicking with the 
left button *anywhere* on the vertical scrollbar (including the thumb) 
to scroll one page down. With the right button, one up. Holding Shift 
can also enable temporarily this mode (or disable it).

I also added an option to place the vertical scrollbar on the left, 
which I'm finding more convenient as it is usually closer to the text.

Here is the PR that includes all the above, not merged yet:

https://github.com/dillo-browser/dillo/pull/274

Best,
Rodrigo.
_______________________________________________
Dillo-dev mailing list -- dillo-dev-lx9mn2B4QYRWk0Htik3J/[email protected]
To unsubscribe send an email to dillo-dev-leave-lx9mn2B4QYRWk0Htik3J/[email protected]