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.

(cherry picked from commit 1cc1f0ba27d1846ba244507529d4795ecfa29a39)

diff --git a/src/frontends/qt/GuiWorkArea.cpp b/src/frontends/qt/GuiWorkArea.cpp
index 7f5cb221273a5bc9c584c1d2daf707999847d77e..3f7c34dc4d4e0702921d66953b39614c28ed93ac 100644 (file)
--- a/src/frontends/qt/GuiWorkArea.cpp
+++ b/src/frontends/qt/GuiWorkArea.cpp
@@ -945,6 +945,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();

diff --git a/status.24x b/status.24x
index 8a9d1ea3ec700a380106ea35e909e9425ef25ac2..ae1989d85f8912a7185f5307e6c3f8ffd17da058 100644 (file)
--- a/status.24x
+++ b/status.24x
@@ -33,6 +33,8 @@ What's new
 
 - Show font info in status line again.
 
+- Make scrolling smoother when using selection.
+
 
 * DOCUMENTATION AND LOCALIZATION