On Thu, 12 Oct 2017, Sven Schreiber wrote:
Am 16.07.2017 um 22:02 schrieb Sven Schreiber:
> this is not a new bug / odd behavior, but perhaps it's not on the radar
> anymore, because it might be a Windows-only thing. It still happens "often"
> (not always), that when you search for a word in the script editor, the
> window content is moved such that the next match is just in the next line
> below the bottom of the window, so not visible without scrolling further.
> This is with recent snapshots and releases, and I think both on Windows 7
> and 10.
> Maybe tricky to fix, and of course not release-critical.
Still there, and why it's not release-critical, it's becoming nerve-critical,
in the sense that it's starting to drive me crazy (sometimes).
In git, I've now amended the relevant code to use a different GTK
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.