View: Fix #513 by scrolling 1/8th the view height per step

diff --git a/pv/view/view.cpp b/pv/view/view.cpp
index 083d02dad9c6fa6043ae3c906363165a2c8294c0..539581ad1ce95bd934c5f030639455c235ce7e8d 100644 (file)
--- a/pv/view/view.cpp
+++ b/pv/view/view.cpp
@@ -483,6 +483,7 @@ void View::update_scroll()
 
        // Set the vertical scrollbar
        verticalScrollBar()->setPageStep(areaSize.height());
+       verticalScrollBar()->setSingleStep(areaSize.height() / 8);
 
        const pair<int, int> extents = v_extents();
        const int extra_scroll_height = (extents.second - extents.first) / 4;