Michael Gerz schrieb:
Hi,the following patch by Jürgen (with a minor fix by myself) prevents the replacement of deleted text.I tested the fix and it works.Even with this patch there are still a few minor problems with the search&replace dialog:
Nevertheless, I am asking for another OK. Michael
