Re: History for query replace pairs

[Juri Linkov]

> I was able to delete the separator character.  I wonder if it can be
> marked read-only.  But the code behaved well in that case, simply
> assuming I had entered the "from" text, so it's not a big deal.

Yes, it's better to allow deleting the separator,
and undo should bring it back.