Am Freitag, dem 29.04.2022 um 17:02 +0200 schrieb Kornel Benko: > The meaning of 'Ignore formatting' is reversed. > > If 'Ignore formatting' is _not_ checked, then all subsequent > selections should be enabled. > > That is, only in formatted search we can select what is to be ignored > or not.
Sorry, I cannot follow. But maybe you can take and adapt the patch to what you think should be. -- 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
