[Gretl-devel] text search result off-window (bottom)

Hi, 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. thanks, sven