[RFC] Simple Search to Bottom Dock

[Jürgen Spitzmüller]

Am Montag, dem 15.02.2021 um 10:25 +0100 schrieb Kornel Benko:
> Yes. Backward search is alike, but with Ctrl-R.

But I don't see how we can have both (without having back the direction
shortcut we just so eagerly ditched).

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/354f9e24/attachment-0001.asc>