Am Fri, 01 Apr 2022 16:02:05 +0200 schrieb Jürgen Spitzmüller <sp...@lyx.org>:
> Am Freitag, dem 01.04.2022 um 15:59 +0200 schrieb Kornel Benko:
> > What is missing is the search in comments only.
>
> Do we really need this?
>
> Jürgen
>
It would be consistent with other features, like searching for red text only,
or specific
font size, etc.
OTOH, as it is now, it is consistent with searching in deactivated branch.
Kornel
--
lyx-devel mailing list
lyx-devel@lists.lyx.org
http://lists.lyx.org/mailman/listinfo/lyx-devel
pgpw_HlfgljlS.pgp
Description: Digitale Signatur von OpenPGP
-- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel
