[RFC] Simple Search to Bottom Dock

[Jürgen Spitzmüller]

Am Montag, dem 15.02.2021 um 09:09 +0100 schrieb Pavel Sanda:
> Maybe we could ditch this dialog and have check box whether to loop
> from begining?

Done. We still have the dialog for searches not performed by GuiSearch.

Jürgen
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 488 bytes
Desc: This is a digitally signed message part
URL: <http://lists.lyx.org/pipermail/lyx-devel/attachments/20210215/b8bdb638/attachment.asc>