Le 22/01/2021 à 14:04, Kornel Benko a écrit : > 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 find it nice that search finds in deleted text. JMarc