[RFC] Simple Search to Bottom Dock

[Jürgen Spitzmüller]

Am Sonntag, dem 28.02.2021 um 15:28 +0100 schrieb Enrico Forestieri:
> > Ctrl-F actually toggles.
> 
> It was toggling, but apparently not anymore with latest master.

No, I have been pushed (and convinced) to remove that. But Esc works
(as in the other dock widgets)

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/20210228/f8fe6292/attachment.asc>