[RFC] Simple Search to Bottom Dock

[Enrico Forestieri]

On Mon, Feb 15, 2021 at 03:23:52PM +0100, Jürgen Spitzmüller wrote:
> Am Montag, dem 15.02.2021 um 15:09 +0100 schrieb Enrico Forestieri:
> > Thanks. Another glitch is the fact that the search dialog can only be
> > dismissed by the X-close button (the toolbar button does not toggle).
> > However, when the dialog is minimized, the close button is not
> > available and one has to expand it to be able to dismiss it.
> 
> Ctrl-F actually toggles.

It was toggling, but apparently not anymore with latest master.

-- 
Enrico