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

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.