On 1/22/21 11:10 AM, Kornel Benko wrote: > Am Fri, 22 Jan 2021 11:02:05 -0500 > schrieb Richard Kimberly Heck <[email protected]>: > >> On 1/22/21 10:26 AM, Jürgen Spitzmüller wrote: >>> Am Freitag, dem 22.01.2021 um 14:04 +0100 schrieb Kornel Benko: >>>> As the subject says. >>>> >>>> ATM it is the case, but I'd like to change it. >>>> (see output_latex.cpp:447,762,1668,1677) >>> I think deleted material should be ignored, as in simple search >>> (nowadays). >> How hard is it to add a checkbox to allow both? I can well imagine both >> would be useful. >> >> Riki >> >> > FWIW, here the patch to search in deleted text. (I too think, a checkbox > would be nice.)
If it's that simple, then I think adding a checkbox is well worth it. Riki -- lyx-devel mailing list [email protected] http://lists.lyx.org/mailman/listinfo/lyx-devel
