[RFC] Simple Search to Bottom Dock

[Pavel Sanda]

On Sun, Feb 14, 2021 at 09:33:01PM +0100, Pavel Sanda wrote:
> Apart from some UI glitch with two buttons (see attached preview how they
> look on my screen) this is really nice piece of work :)

Another glitch: F3 in search pane goes forward, F3 in edit area goes backward.

If I understand correctly the situation on Mac, when some text is selected,
you can immediately use shortcut for find-next. Wouldn't be cool to have
shortcut for this in linux as well (AFAIK we don't now)?

Pavel