Am 16.10.2017 um 22:18 schrieb Allin Cottrell:
On Sat, 14 Oct 2017, Allin Cottrell wrote:
> In git, I've now amended the relevant code to use a different
> function for this task (scrolling the "found" text into view). No new
> snapshots yet, but I'll try experimenting on Windows and see if this
> seems to fix the problem you mention.
My modifications are now in the snapshots. Sven, please let me know if
this makes a difference to what you were seeing.
Thanks, I'll keep an eye open for it!