[Gretl-devel] search in script editor fails on last line

Hi, maybe this is a GTK bug: Open a new script editor window, type a word, say "hey" (unquoted), then hit ctrl+F to search something, type in (or paste) the same word, hit return or click the looking glass, nothing is found. More generally, this seems to apply to the last line in a file. If a type more stuff and search again, then the word (hey) is found. I remember there were some gtk searching bugs before, but this is mildly annoying. So the question is, is there something that gretl can do, like upgrading to new library versions or so? This is a recent Windows snapshot. thanks sven