diff options
| author | Rodrigo Arias Mallo <rodarima@gmail.com> | 2024-10-13 14:22:14 +0200 |
|---|---|---|
| committer | Rodrigo Arias Mallo <rodarima@gmail.com> | 2024-10-13 16:18:41 +0200 |
| commit | f73a9c1a1967318a33cc91f588552574dc7c3f01 (patch) | |
| tree | 17725a28fd5719e052a74c27f722de545d0310a4 /dillorc | |
| parent | 667f7fd713bc2d4f9196bc71e2b8ac8b2ca210f1 (diff) | |
Control the page overlap independently
Introduces the new option scroll_page_overlap to control the amount of
pixels of overlap when scrolling to the next or previous page.
Previously this value was taken from scroll_step, but now they are
controlled independently.
Fixes: https://github.com/dillo-browser/dillo/issues/276
Diffstat (limited to 'dillorc')
| -rw-r--r-- | dillorc | 7 |
1 files changed, 5 insertions, 2 deletions
@@ -42,10 +42,13 @@ # Set the increment in pixels that the page is moved up/down with each input # from the mouse wheel, keyboard arrow keys, or scrollbar arrow buttons. -# Page movement with the Page Up/Down keys is one scroll_step less than the -# height of the visible page area. #scroll_step=100 +# Controls the overlap in pixels when scrolling to the next or previous page. +# It is used to repeat the last line(s) to avoid losing the reading flow. It +# controls the overlap in both the vertical and horizontal directions. +#scroll_page_overlap=50 + # Place the vertical scrollbar on the left side (default right). #scrollbar_on_left=NO |