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/uicmd.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/uicmd.cc')
-rw-r--r-- | src/uicmd.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/uicmd.cc b/src/uicmd.cc index ad6e67c1..5cd0d887 100644 --- a/src/uicmd.cc +++ b/src/uicmd.cc @@ -633,6 +633,7 @@ static BrowserWindow *UIcmd_tab_new(CustTabs *tabs, UI *old_ui, int focus) layout->attachView (viewport); new_ui->set_render_layout(viewport); viewport->setScrollStep(prefs.scroll_step); + viewport->setPageOverlap(prefs.scroll_page_overlap); // Now, create a new browser window structure BrowserWindow *new_bw = a_Bw_new(); |