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

1 files changed, 2 insertions, 0 deletions

diff --git a/dw/fltkviewport.hh b/dw/fltkviewport.hh
index 62d4fa21..2cff42d3 100644
--- a/dw/fltkviewport.hh
+++ b/dw/fltkviewport.hh
@@ -45,6 +45,7 @@ private:
    int hasDragScroll, dragScrolling, dragX, dragY;
    int horScrolling, verScrolling;
    bool scrollbarPageMode;
+   int pageOverlap;
 
    Fl_Scrollbar *vscrollbar, *hscrollbar;
 
@@ -100,6 +101,7 @@ public:
    void addGadget (Fl_Widget *gadget);
    void setScrollbarOnLeft (bool enable);
    void setScrollbarPageMode(bool enable);
+   void setPageOverlap(int overlap);
 };
 
 } // namespace fltk