Am 09.09.19 um 20:49 schrieb Sven Schreiber:
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?
On Ubuntu 19.04 and current git, I cannot confirm your findings. Works
fine here.
Best,
Artur