Re: [patch] hide minibuffer

[Jürgen Spitzmüller]

Jean-Marc Lasgouttes wrote:
> Would it be enough to be sure that the existing autotoolbars scheme
> makes the minibuffer toggle on/off as needed?

I'd prefer manual control.

Jürgen