[Gretl-devel] search in script editor doesn't find everything

Hi, I noticed the following glitch here on Windows (Aug 1st snapshot): Searching for "hello" in the mini file with the following content only finds the first occurrence, not the second (after clicking the search button in the dialog again): <inp-file> # o hey hello = hello </inp-file> It also happened in a different file that "search" found everything, but "search&replace" did not. Are you also seeing that? thanks sven