Make scrolling-by-selection smoother

This trivial patch makes scrolling-by-selection smoother by dividing
the step size and the time between steps by 8 when generating
synthetic events in work area.

The scrolling speed is unchanged, but the result is visually better.

diff --git a/src/frontends/qt/GuiWorkArea.cpp b/src/frontends/qt/GuiWorkArea.cpp
index 462fabda1e16c23999a7d3cf93d8ecfde016185b..4dfd365d7910fb9ba27b79dd2e28c5178f416735 100644 (file)
--- a/src/frontends/qt/GuiWorkArea.cpp
+++ b/src/frontends/qt/GuiWorkArea.cpp
@@ -943,6 +943,8 @@ void GuiWorkArea::generateSyntheticMouseEvent()
                                step = 80000 / (time * time);
                                time = 40;
                        }
+                       step /= 8;
+                       time /= 8;
                }
                d->synthetic_mouse_event_.timeout.setTimeout(time);
                d->synthetic_mouse_event_.timeout.start();