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/prefsparser.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 'src/prefsparser.cc')
| -rw-r--r-- | src/prefsparser.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/prefsparser.cc b/src/prefsparser.cc index 864a6736..482e79ab 100644 --- a/src/prefsparser.cc +++ b/src/prefsparser.cc @@ -200,6 +200,7 @@ void PrefsParser::parse(FILE *fp) { "parse_embedded_css", &prefs.parse_embedded_css, PREFS_BOOL, 0 }, { "save_dir", &prefs.save_dir, PREFS_STRING, 0 }, { "scroll_step", &prefs.scroll_step, PREFS_INT32, 0 }, + { "scroll_page_overlap", &prefs.scroll_page_overlap, PREFS_INT32, 0 }, { "scrollbar_on_left", &prefs.scrollbar_on_left, PREFS_BOOL, 0 }, { "scrollbar_page_mode", &prefs.scrollbar_page_mode, PREFS_BOOL, 0 }, { "search_url", &prefs.search_urls, PREFS_STRINGS, 0 }, |