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 /dw/fltkplatform.cc | |
| 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 'dw/fltkplatform.cc')
0 files changed, 0 insertions, 0 deletions