Am 17.10.2017 um 10:35 schrieb Sven Schreiber:
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 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.
> 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!
The problem is definitely still there. (now with 2018a)
I _believe_ it might appear (only?) when the script editor window is
resized before the search is done. Because enlarging that window is
something I do quite often because the default size is quite small at
least on a desktop monitor.
Right now I tested with a non-resized window and did _not_ see the
problem. But when I resized first and then did a search for something
which was off-screen, the window content was moved but not quite enough.