Am Sat, 30 Apr 2022 09:38:03 +0200 schrieb Kornel Benko <kor...@lyx.org>:
> Am Sat, 30 Apr 2022 09:06:13 +0200
> schrieb Jürgen Spitzmüller <sp...@lyx.org>:
>
> > 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?
> >
>
> Yes it does.
> Could we add also 'size' to the GUI? (Readded at cbe2f613)
> I don't remember, why it was removed.
>
> Kornel
>
And also BIG THANKS for the work on this GUI.
Kornel
--
lyx-devel mailing list
lyx-devel@lists.lyx.org
http://lists.lyx.org/mailman/listinfo/lyx-devel
pgp7fVTESLwJF.pgp
Description: Digitale Signatur von OpenPGP
-- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel
