Am Sat, 05 Mar 2022 18:41:40 +0100 schrieb Jürgen Spitzmüller <sp...@lyx.org>:
> Am Samstag, dem 05.03.2022 um 18:36 +0100 schrieb Kornel Benko:
> > Or even
> > search-include non-output-content true
> > ?
> >
> > Would be a new command.
>
> yes, even better (although it is not clear from the command that it
> only applies advanced search).
>
> Jürgen
>
Better
adsearch-ignore + adserch-include ?
Korn
--
lyx-devel mailing list
lyx-devel@lists.lyx.org
http://lists.lyx.org/mailman/listinfo/lyx-devel
pgpp6S65MqWR1.pgp
Description: Digitale Signatur von OpenPGP
-- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel
