Am Freitag, dem 29.04.2022 um 20:06 +0200 schrieb Kornel Benko: > Maybe we should also rename 'Ignore formatting' to 'Handle formatted > search'.
Apart from that, does it do what you expect? -- Jürgen
signature.asc
Description: This is a digitally signed message part
-- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel
