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