[Gretl-devel] Editor search results sometimes outside of visible window area

Hi, this problem is not new, I have reported it before on Windows. Sometimes you need to scroll up or down by one (or two?) lines to see the highlighted match. But I've recently also observed it on Linux Mint (with a self-compiled git version from some weeks ago I think), so I thought I'd raise it again. It is still a bit hard to pinpoint when exactly it happens, though. cheers sven