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 /src/prefs.h | |
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 'src/prefs.h')
-rw-r--r-- | src/prefs.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/prefs.h b/src/prefs.h index 6f8f4fdb..5f8f393d 100644 --- a/src/prefs.h +++ b/src/prefs.h @@ -77,6 +77,7 @@ typedef struct { int32_t font_max_size; int32_t font_min_size; int32_t scroll_step; + int32_t scroll_page_overlap; bool_t scrollbar_on_left; bool_t scrollbar_page_mode; bool_t show_back; |