Hi Neil,
I noticed that "mark all" does not mark all occurrences of a given string with "find.use.strip=1". On the contrary, "mark all" works perfectly with "find.use.strip=0".
This is not a problem for me, because I prefer the panels for find and replace.
Thanks you very much for your splendid editor!
Best regards
Paolo