Should search match strings in deleted ct area?

Jean-Marc Lasgouttes lasgouttes at
Fri Jan 22 15:19:50 UTC 2021

Le 22/01/2021 à 15:17, Kornel Benko a écrit :
>> I see. I thought about deleted words, you think about deleted letters.
> So, what would you now decide? I am totally unsure, how to proceed.
> Each way has its own advantage.

I think that you do the coding, so you get to decide.


More information about the lyx-devel mailing list