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
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