>>>>> "Michael" == Michael Gerz <[EMAIL PROTECTED]> writes:
Michael> Hi, the following patch by Jürgen (with a minor fix by Michael> myself) prevents the replacement of deleted text. Michael> I tested the fix and it works. Is the thing correct when there is no selection? I would think the replace() then searches for the next hit. Of course, this is difficult to get right, but at least a FIXME would be useful. What happens when there is a multi paragraph selection? Does LyX just crash? JMarc
