Should search match strings in deleted ct area?

Kornel Benko kornel at
Fri Jan 22 16:05:15 UTC 2021

Am Fri, 22 Jan 2021 16:19:50 +0100
schrieb Jean-Marc Lasgouttes <lasgouttes at>:

> 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.
> JMarc

Good JMarc and Jürgen.

I have both versions ready now, so I will commit first the version which does not search
inside deleted text.
Committed at 469b43c7

-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 488 bytes
Desc: Digitale Signatur von OpenPGP
URL: <>

More information about the lyx-devel mailing list