Am Samstag, dem 13.02.2021 um 17:19 +0100 schrieb Pavel Sanda: > The hope of the switching to bar was to minimize space in a way like > firefox does, i.e. basically one-liner.
Firefox only has find, not replace. > So any switch which would collapse this dialog > into way smaller beast would be appreciated... Yes. The price would be an extra click for replace, though (and option setting). 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