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

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. >> > > 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.